Update src/halmos/__main__.py

Co-authored-by: karmacoma <karma@coma.lol>
a16z · Dec 4, 2024 · a59f03c · a59f03c
1 parent 129381b
commit a59f03c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
@@ -745,7 +745,7 @@ def future_callback(future_model):
                 if done == total:
                     break
                 status.update(f"solving: {done} / {total}")
-                time.sleep(1)
+                time.sleep(0.1)
 
     if args.early_exit:
         thread_pool.shutdown(wait=False, cancel_futures=True)