minor change for symExecTimeout comments (#1285)

4 months ago · 4b9df9d1f9
parent ec5a3c13f9
commit 4b9df9d1f9
2 changed files with 2 additions and 2 deletions
--- 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.
--- 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