Skip to content

Commit

Permalink
Update default.yaml
Browse files Browse the repository at this point in the history
  • Loading branch information
ggrieco-tob authored May 28, 2024
1 parent 3a94bf7 commit 955dd38
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions tests/solidity/basic/default.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -110,3 +110,6 @@ symExecMaxIters: 10
# Number of times we may revisit a particular branching point before we consult the smt solver to check reachability
# only relevant if symExec is true and symExecConcolic is false
symExecAskSMTIters: 1
# List of whitelisted functions for using symbolic/concolic exploration
# only relevant if symExec is true
symExecTargets: null

0 comments on commit 955dd38

Please sign in to comment.