rewording

a16z · Jan 7, 2025 · 104137d · 104137d
1 parent 17e6c67
commit 104137d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
@@ -743,7 +743,7 @@ def future_callback(future_model):
         # 0 width is unlimited
         if args.width and idx >= args.width:
             warn(
-                f"{funsig}: paths have not been fully explored due to: --width {args.width}"
+                f"{funsig}: incomplete execution due to the specified limit: --width {args.width}"
             )
             break
 

diff --git a/src/halmos/sevm.py b/src/halmos/sevm.py
@@ -2722,7 +2722,7 @@ def finalize(ex: Exec):
 
                 if (max_depth := self.options.depth) and step_id > max_depth:
                     warn(
-                        f"{self.fun_info.sig}: paths have not been fully explored due to: --depth {max_depth}",
+                        f"{self.fun_info.sig}: incomplete execution due to the specified limit: --depth {max_depth}",
                         allow_duplicate=False,
                     )
                     continue