From 7accb05e967d396ca76ef2acf049eb007b5f66c3 Mon Sep 17 00:00:00 2001 From: Sam Alws Date: Fri, 5 Jul 2024 15:02:16 -0400 Subject: [PATCH] minor change for symExecTimeout comments --- lib/Echidna/Types/Campaign.hs | 2 +- tests/solidity/basic/default.yaml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/Echidna/Types/Campaign.hs b/lib/Echidna/Types/Campaign.hs index 158b69f74..78a885189 100644 --- 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 index 36428ac49..d9c277287 100644 --- 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