Added smtio.py "timer display during solving" feature

1 files changed, 8 insertions, 2 deletions

diff --git a/scripts/smt2-bmc/async.py b/scripts/smt2-bmc/async.py
index 80ffb72..d088428 100644
--- a/scripts/smt2-bmc/async.py
+++ b/scripts/smt2-bmc/async.py
@@ -12,6 +12,7 @@ fastmem = False
 initzero = False
 check_mem = True
 check_regs = True
+timeinfo = True
 debug_print = False
 debug_file = None
 
@@ -29,13 +30,16 @@ python3 async.py [options]
     -v
         enable debug output
 
+    -p
+        disable timer display during solving
+
     -d
         write smt2 statements to debug.smt2
 """)
     sys.exit(1)
 
 try:
-    opts, args = getopt.getopt(sys.argv[1:], "s:t:vd")
+    opts, args = getopt.getopt(sys.argv[1:], "s:t:vdp")
 except:
     usage()
 
@@ -48,6 +52,8 @@ for o, a in opts:
         debug_print = True
     elif o == "-d":
         debug_file = open("debug.smt2", "w")
+    elif o == "-p":
+        timeinfo = False
     else:
         usage()
 
@@ -55,7 +61,7 @@ if len(args) > 0:
     usage()
 
 start_time = time()
-smt = smtio(solver=solver, debug_print=debug_print, debug_file=debug_file)
+smt = smtio(solver=solver, debug_print=debug_print, debug_file=debug_file, timeinfo=timeinfo)
 
 def timestamp():
     secs = int(time() - start_time)