forked from silo-finance/silo-contracts-v3
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathMakefile
More file actions
23 lines (16 loc) · 1.53 KB
/
Makefile
File metadata and controls
23 lines (16 loc) · 1.53 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
# Invariants
echidna-x-silo:
echidna x-silo/test/echidna/XSiloTester.t.sol --contract XSiloTester --config ./x-silo/test/echidna/_config/echidna_config.yaml --corpus-dir ./x-silo/test/echidna/_corpus/echidna/default/_data/corpus/x-silo
echidna-leverage:
echidna silo-core/test/echidna-leverage/LeverageTester.t.sol --contract LeverageTester --config ./silo-core/test/echidna-leverage/_config/echidna_config.yaml --corpus-dir ./silo-core/test/echidna-leverage/_corpus/echidna/default/_data/corpus
echidna-leverage-assert:
echidna silo-core/test/echidna-leverage/LeverageTester.t.sol --contract LeverageTester --test-mode assertion --config ./silo-core/test/echidna-leverage/_config/echidna_config.yaml --corpus-dir ./silo-core/test/echidna-leverage/_corpus/echidna/default/_data/corpus
echidna:
echidna silo-core/test/invariants/Tester.t.sol --contract Tester --config ./silo-core/test/invariants/_config/echidna_config.yaml --corpus-dir ./silo-core/test/invariants/_corpus/echidna/default/_data/corpus
echidna-assert:
echidna silo-core/test/invariants/Tester.t.sol --contract Tester --test-mode assertion --config ./silo-core/test/invariants/_config/echidna_config.yaml --corpus-dir ./silo-core/test/invariants/_corpus/echidna/default/_data/corpus
echidna-explore:
echidna silo-core/test/invariants/Tester.t.sol --contract Tester --test-mode exploration --config ./silo-core/test/invariants/_config/echidna_config.yaml --corpus-dir ./silo-core/test/invariants/_corpus/echidna/default/_data/corpus
# Medusa
medusa:
medusa fuzz --config ./medusa.json