added documentation

Author: gustavo-grieco

lib/Echidna/Types/Campaign.hs

@@ -43,7 +43,7 @@ data CampaignConf = CampaignConf
     -- ^ Whether to add an additional symbolic execution worker
   , symExecSMTSolver   :: Solver
     -- ^ SMT solver to use for symbolic execution.
-    -- Supported solvers: "cvc5", "z3", "yices", "boolector"
+    -- Supported solvers: "cvc5", "z3", "yices" and "bitwuzla"
   , symExecTargets     :: Maybe [Text]
     -- ^ List of target functions for symbolic execution.
     -- If this is 'Nothing', all functions are considered targets.

tests/solidity/basic/default.yaml

@@ -113,4 +113,6 @@ symExecTargets: null
 # List the max number of states to explore when using symbolc execution
 # only relevant if symExec is true
 symExecMaxExplore: 10
+# Select the SMT solver when using symbolic execution. Valid values are: "cvc5", "z3", "yices" and "bitwuzla"
+# only relevant if symExec is true
 symExecSMTSolver: bitwuzla