You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
10 lines
332 B
10 lines
332 B
[submodule "lib/forge-std"]
|
|
branch = v1
|
|
path = lib/forge-std
|
|
url = https://github.com/foundry-rs/forge-std
|
|
[submodule "lib/erc4626-tests"]
|
|
path = lib/erc4626-tests
|
|
url = https://github.com/a16z/erc4626-tests.git
|
|
[submodule "lib/halmos-cheatcodes"]
|
|
path = lib/halmos-cheatcodes
|
|
url = https://github.com/a16z/halmos-cheatcodes
|
|
|