diff --git a/.github/workflows/deep-fuzz.yml b/.github/workflows/deep-fuzz.yml new file mode 100644 index 000000000..9c3a1df9d --- /dev/null +++ b/.github/workflows/deep-fuzz.yml @@ -0,0 +1,31 @@ +name: Deep Fuzz +on: + push: + branches: + - development + paths: + - '**.sol' + +jobs: + deep-fuzz: + name: Deep Fuzz + runs-on: ubuntu-22.04 + env: + FOUNDRY_PROFILE: intense + + steps: + - name: Checkout repository + uses: actions/checkout@v3 + + - name: Setup Foundry + uses: foundry-rs/foundry-toolchain@v1 + with: + version: nightly-d369d2486f85576eec4ca41d277391dfdae21ba7 + + - name: Forge install + working-directory: packages/contracts + run: forge install + + - name: Deep Fuzz Solidity Contracts + working-directory: packages/contracts + run: forge test diff --git a/packages/contracts/foundry.toml b/packages/contracts/foundry.toml index f6a0b34f3..8c5721de8 100644 --- a/packages/contracts/foundry.toml +++ b/packages/contracts/foundry.toml @@ -39,3 +39,6 @@ targets = [ [profile.docs] src = 'src/dollar' + +[profile.intense.fuzz] +runs = 100000