add --no-pulse flag to disable

src/halmos/__main__.py

@@ -735,16 +735,17 @@ def future_callback(future_model):
         )
 
     # display assertion solving progress
-    with Status("solving:") as status:
-        while True:
-            if args.early_exit and len(counterexamples) > 0:
-                break
-            done = sum(fm.done() for fm in future_models)
-            total = len(future_models)
-            if done == total:
-                break
-            status.update(f"solving: {done} / {total}")
-            time.sleep(1)
+    if not args.no_pulse or args.early_exit:
+        with Status("solving:") as status:
+            while True:
+                if args.early_exit and len(counterexamples) > 0:
+                    break
+                done = sum(fm.done() for fm in future_models)
+                total = len(future_models)
+                if done == total:
+                    break
+                status.update(f"solving: {done} / {total}")
+                time.sleep(1)
 
     if args.early_exit:
         thread_pool.shutdown(wait=False, cancel_futures=True)

src/halmos/config.py

@@ -296,6 +296,12 @@ class Config:
         short="st",
     )
 
+    no_pulse: bool = arg(
+        help="disable progress display",
+        global_default=False,
+        group=debugging,
+    )
+
     debug: bool = arg(
         help="run in debug mode",
         global_default=False,

src/halmos/sevm.py

@@ -2667,7 +2667,7 @@ def finalize(ex: Exec):
                 step_id += 1
 
                 # display progress
-                if step_id % PULSE_INTERVAL == 0:
+                if not self.options.no_pulse and step_id % PULSE_INTERVAL == 0:
                     elapsed = timer() - stack.start_time
                     speed = step_id / elapsed