Updating docs

ethereum · Aug 1, 2024 · cbf8156 · cbf8156
1 parent 1df3e88
commit cbf8156
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/doc/src/equivalence.md b/doc/src/equivalence.md
@@ -19,7 +19,7 @@ Available options:
   --calldata TEXT          Tx: calldata
   --smttimeout NATURAL     Timeout given to SMT solver in seconds (default: 300)
   --max-iterations INTEGER Number of times we may revisit a particular branching
-                           point
+                           point. Default is 1. Setting to -1 allows infinite looping
   --solver TEXT            Used SMT solver: z3 (default), cvc5, or bitwuzla
   --smtoutput              Print verbose smt output
   --smtdebug               Print smt queries sent to the solver

diff --git a/doc/src/symbolic.md b/doc/src/symbolic.md
@@ -54,7 +54,7 @@ Available options:
   --show-reachable-tree    Print only reachable branches explored in tree view
   --smttimeout NATURAL     Timeout given to SMT solver in seconds (default: 300)
   --max-iterations INTEGER Number of times we may revisit a particular branching
-                           point
+                           point. Default is 1. Setting to -1 allows infinite looping
   --solver TEXT            Used SMT solver: z3 (default), cvc5, or bitwuzla
   --smtdebug               Print smt queries sent to the solver
   --assertions [WORD256]   Comma separated list of solc panic codes to check for

diff --git a/doc/src/test.md b/doc/src/test.md
@@ -32,7 +32,7 @@ Available options:
                            your machine)
   --smttimeout NATURAL     Timeout given to SMT solver in seconds (default: 300)
   --max-iterations INTEGER Number of times we may revisit a particular branching
-                           point
+                           point. Default is 1. Setting to -1 allows infinite looping
   --loop-detection-heuristic LOOPHEURISTIC
                            Which heuristic should be used to determine if we are
                            in a loop: StackBased (default) or Naive