minor change for symExecTimeout comments

crytic · Jul 5, 2024 · 7accb05 · 7accb05
1 parent ec5a3c1
commit 7accb05
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lib/Echidna/Types/Campaign.hs b/lib/Echidna/Types/Campaign.hs
@@ -51,7 +51,7 @@ data CampaignConf = CampaignConf
  -- Only relevant if symExec is True
  , symExecTargets :: Maybe [Text]
  , symExecTimeout :: Int
- -- ^ Timeout for symbolic execution SMT solver.
+ -- ^ Timeout for symbolic execution SMT solver queries.
  -- Only relevant if symExec is True
  , symExecNSolvers :: Int
  -- ^ Number of SMT solvers used in symbolic execution.

diff --git a/tests/solidity/basic/default.yaml b/tests/solidity/basic/default.yaml
@@ -101,7 +101,7 @@ symExecConcolic: true
 # number of SMT solvers used in symbolic execution
 # only relevant if symExec is true
 symExecNSolvers: 1
-# timeout for symbolic execution SMT solver
+# timeout for symbolic execution SMT solver queries
 # only relevant if symExec is true
 symExecTimeout: 30
 # Number of times we may revisit a particular branching point