diff --git a/.github/workflows/deep-fuzz.yml b/.github/workflows/deep-fuzz.yml index 17eacb88b..6c2716d60 100644 --- a/.github/workflows/deep-fuzz.yml +++ b/.github/workflows/deep-fuzz.yml @@ -5,6 +5,7 @@ on: - development paths: - '**.sol' + workflow_dispatch: jobs: deep-fuzz: diff --git a/.github/workflows/deep-invariant.yml b/.github/workflows/deep-invariant.yml index 16cd6cfce..6af53e94d 100644 --- a/.github/workflows/deep-invariant.yml +++ b/.github/workflows/deep-invariant.yml @@ -5,7 +5,8 @@ on: - development paths: - '**.sol' - + workflow_dispatch: + jobs: invariant-tests: name: Run Invariant Tests diff --git a/packages/contracts/foundry.toml b/packages/contracts/foundry.toml index c1c0e91ca..b9a6e7c85 100644 --- a/packages/contracts/foundry.toml +++ b/packages/contracts/foundry.toml @@ -41,8 +41,8 @@ targets = [ src = 'src/dollar' [profile.intense.fuzz] -runs = 100000 -max_test_rejects = 900000 +runs = 16500000 +max_test_rejects = 144000000 # multiplied by 160 because runs did too [profile.intense.invariant] -runs = 50000 # ~1 hour \ No newline at end of file +runs = 350000