From 2db8e294d7de636d2abc0e196d33204889ea702a Mon Sep 17 00:00:00 2001
From: karmacoma <karma@coma.lol>
Date: Fri, 31 May 2024 11:41:07 -0700
Subject: [PATCH] fix width check

---
 src/halmos/__main__.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
index 3bb3ce84..e67b5f69 100644
--- 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")