diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 9ef8474..e4980ee 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -9,7 +9,7 @@ jobs: - name: Install Foundry uses: foundry-rs/foundry-toolchain@v1 with: - version: nightly-008922d5165c764859bc540d7298045eebf5bc60 + version: v1.2.0 - run: forge build - run: forge fmt --check src test diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 4df1a7d..d543686 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -17,7 +17,7 @@ jobs: - name: Install Foundry uses: foundry-rs/foundry-toolchain@v1 with: - version: nightly-008922d5165c764859bc540d7298045eebf5bc60 + version: v1.2.0 - name: Run all tests run: make test-all diff --git a/templates/UArchReplay.t.sol.template b/templates/UArchReplay.t.sol.template index c9fdc39..f50d96b 100644 --- a/templates/UArchReplay.t.sol.template +++ b/templates/UArchReplay.t.sol.template @@ -72,6 +72,7 @@ contract UArchReplay_@X@_Test is Test { ) { continue; } + console.log("Replaying step %d ...", j); require( catalog[i].proofsFrequency == 1, "require proof in every step" );