From 1112382c2cb50b24f79122ad4bfda35fc5b4a87e Mon Sep 17 00:00:00 2001 From: teddy Date: Fri, 26 Jul 2024 12:50:28 -0300 Subject: [PATCH] chore: add an npm script to run echidna tests --- package.json | 1 + 1 file changed, 1 insertion(+) diff --git a/package.json b/package.json index 20611680..074b9bb8 100644 --- a/package.json +++ b/package.json @@ -27,6 +27,7 @@ "prepare": "husky install", "smock": "smock-foundry --contracts src/contracts", "test": "yarn test:integration && yarn test:unit", + "test:echidna": "find test/invariants/fuzz/ -regex '.*\\.t\\.sol$' |cut -d '/' -f 4 | cut -d . -f 1 |xargs -I{} echidna test/invariants/fuzz/{}.t.sol --contract Fuzz{} --config test/invariants/fuzz/{}.yaml", "test:integration": "forge test --ffi --match-path 'test/integration/**' -vvv --isolate", "test:local": "FOUNDRY_FUZZ_RUNS=100 forge test -vvv", "test:scaffold": "bulloak check --fix test/unit/*.tree && forge fmt",