Add quick fix for the existing tests

lidofinance · Mar 5, 2025 · f41f780 · f41f780
1 parent 7187855
commit f41f780
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -22,6 +22,11 @@ This project uses NPM for dependency management and Forge for tests so you'll ne
 
 * Install Foundry and `forge` https://book.getfoundry.sh/getting-started/installation
 
+* Install Foundry v1.0.0 
+    ```sh
+    foundryup -i 1.0.0
+    ```
+
 * Create `.env` file
     ```sh
     cp .env.example .env

diff --git a/foundry.toml b/foundry.toml
@@ -7,12 +7,16 @@ libs = ['node_modules', 'lib']
 test = 'test'
 cache_path = 'cache_forge'
 # solc-version = "0.8.26"
+optimizer=true
 no-match-path = 'test/kontrol/*'
 fs_permissions = [
     { access = "read-write", path = "./deploy-config"},
     { access = "read-write", path = "./deploy-artifacts"}
 ]
 
+# TODO: remove the next line. This is a quick fix for the existing tests that is required for tests to pass after upgrade of Foundry to v1.0.0.
+allow_internal_expect_revert = true
+
 [profile.kprove]
 src = 'test/kontrol'
 out = 'kout'