Merge pull request #221 from crytic/dev-fix-multiabi

echidna: replace multi-abi with allContracts in configs
crytic · Feb 23, 2023 · 36fab64 · 36fab64
2 parents 28ba0ce + 06d0bc7
commit 36fab64
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/program-analysis/echidna/example/multiabi.yaml b/program-analysis/echidna/example/multiabi.yaml
@@ -1,3 +1,6 @@
 testMode: assertion
 testLimit: 50000
-multi-abi: true
+# echidna < 2.1
+multi-abi: true
+# echidna >= 2.1
+allContracts: true