From 73c83f5ff4a6c47b1301a72b635ba5c468953c91 Mon Sep 17 00:00:00 2001 From: MerlinEgalite Date: Thu, 9 Nov 2023 12:11:58 +0300 Subject: [PATCH] ci: remove invariant --- .github/workflows/foundry.yml | 4 ++-- foundry.toml | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/foundry.yml b/.github/workflows/foundry.yml index ea724cd8a..4334bdbf6 100644 --- a/.github/workflows/foundry.yml +++ b/.github/workflows/foundry.yml @@ -21,12 +21,12 @@ jobs: - type: "slow" fuzz-runs: 10000 max-test-rejects: 500000 - invariant-runs: 32 + invariant-runs: 0 invariant-depth: 512 - type: "fast" fuzz-runs: 256 max-test-rejects: 65536 - invariant-runs: 8 + invariant-runs: 0 invariant-depth: 256 runs-on: ubuntu-latest diff --git a/foundry.toml b/foundry.toml index 045e975d4..d641b9154 100644 --- a/foundry.toml +++ b/foundry.toml @@ -5,7 +5,7 @@ via-ir = true optimizer_runs = 4294967295 [profile.default.invariant] -runs = 0 +runs = 8 depth = 256 fail_on_revert = true