fix width check

a16z · May 31, 2024 · 2db8e29 · 2db8e29
1 parent 7ebc213
commit 2db8e29
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
@@ -774,7 +774,8 @@ def future_callback(future_model):
         elif not error:
             normal += 1
 
-        if len(result_exs) >= args.width:
+        # 0 width is unlimited
+        if args.width and len(result_exs) >= args.width:
             break
 
     timer.create_subtimer("models")