From 375fee6d65058562b693c42653204f310db71dde Mon Sep 17 00:00:00 2001
From: Aleksander Kiryk <akiryk@internships.antmicro.com>
Date: Wed, 23 Feb 2022 17:21:33 +0100
Subject: [PATCH] Assume default format for every graph

---
 graph.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/graph.py b/graph.py
index 4129257..1f3273e 100755
--- a/graph.py
+++ b/graph.py
@@ -166,6 +166,9 @@ def graph(session, fname='plot.png'):
 
     labels = []
 
+    # The default format
+    OUTPUT_TYPE="pngcairo"
+    OUTPUT_EXT="png"
     if "SARGRAPH_OUTPUT_TYPE" in os.environ:
         if os.environ["SARGRAPH_OUTPUT_TYPE"] == "svg":
             OUTPUT_TYPE="svg"