Changeset 9bbbc8e

Timestamp:

Jun 26, 2020, 5:28:59 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

bdce852

Parents:

b813f53

Message:

disabled interactive mode for view_halts

File:

• tools/perf/view_halts.py (modified) (3 diffs)

tools/perf/view_halts.py

@@ -12 +12 @@
 parser.add_argument('-o', '--output', dest='outfile', type=argparse.FileType('w'), default=None, help='output file with any image format extension such as .png or .svg; if none specified then plt.show() will be used')
 args = parser.parse_args()
+
+print("----- Processing Halts Output -----")
+if not args.outfile:
+        print("ERROR : no output file specified and interactive mode not supported", file=sys.stderr)
+        sys.exit(1)
 
 #--------------------------------------------------------------------------------
@@ -91 +96 @@
 #--------------------------------------------------------------------------------
 # setup plot
-dots_per_inch = 2000
+dots_per_inch = 200
 height_inches = 5
 width_inches = 12
@@ -121 +126 @@
 # do the plot
 plt.tight_layout()
-if not args.outfile:
-        plt.show()
-else:
-        print("saving figure image %s\n" % args.outfile.name)
-        plt.savefig(args.outfile.name)
+print("saving figure image %s\n" % args.outfile.name)
+plt.savefig(args.outfile.name)