Skip to content

Commit

Permalink
chore: default to optimization
Browse files Browse the repository at this point in the history
  • Loading branch information
GalloDaSballo committed Oct 31, 2024
1 parent cca360b commit d8f97ce
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions echidna.yaml
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
testMode: "assertion"
prefix: "crytic_"
testMode: "optimization"
prefix: "optimize_"
coverage: true
corpusDir: "echidna"
balanceAddr: 0x1043561a8829300000
Expand Down

0 comments on commit d8f97ce

Please sign in to comment.