diff --git a/FoundryIntegration/SimpleDappTest/README.md b/FoundryIntegration/SimpleDappTest/README.md index 2f0dfb8a..5b9f8567 100644 --- a/FoundryIntegration/SimpleDappTest/README.md +++ b/FoundryIntegration/SimpleDappTest/README.md @@ -9,4 +9,7 @@ To run this example, use: [View the report for this run.](https://prover.certora.com/output/15800/7faf69fd82034fe8824393078c63ead2?anonymousKey=27031765775db06bc5e3bf4f3fc87be556bb59b1) -*Note: Foundry Fuzz Testing Integration is currently in an early alpha phase.* \ No newline at end of file +*Note: Foundry Fuzz Testing Integration is currently in an early alpha phase.* + + +*Note: In this example we use `foundry.toml` to manage dependencies and remappings, in other examples we also use `remappings.txt` for the same purpose. diff --git a/FoundryIntegration/SimpleDappTest/foundry.toml b/FoundryIntegration/SimpleDappTest/foundry.toml new file mode 100644 index 00000000..76bb5665 --- /dev/null +++ b/FoundryIntegration/SimpleDappTest/foundry.toml @@ -0,0 +1,13 @@ +[profile.default] +src = "src" +out = "out" +libs = ["lib"] +remappings = [ + "@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/", + "ds-test/=lib/forge-std/lib/ds-test/src/", + "erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/", + "forge-std/=lib/forge-std/src/", + "openzeppelin-contracts/=lib/openzeppelin-contracts/", +] + +# See more config options https://github.com/foundry-rs/foundry/blob/master/crates/config/README.md#all-options diff --git a/FoundryIntegration/SimpleDappTest/remappings.txt b/FoundryIntegration/SimpleDappTest/remappings.txt deleted file mode 100644 index f8107635..00000000 --- a/FoundryIntegration/SimpleDappTest/remappings.txt +++ /dev/null @@ -1,5 +0,0 @@ -@openzeppelin/contracts/=lib/openzeppelin-contracts/contracts/ -ds-test/=lib/forge-std/lib/ds-test/src/ -erc4626-tests/=lib/openzeppelin-contracts/lib/erc4626-tests/ -forge-std/=lib/forge-std/src/ -openzeppelin-contracts/=lib/openzeppelin-contracts/