update

.github/workflows/echidna.yml

@@ -1,39 +1,38 @@
-name: Echidna Test
+# name: Echidna Test
 
-on:
-    push:
-        branches:
-            - main
-    pull_request:
+# on:
+#     push:
+#         branches:
+#             - main
+#     pull_request:
 
-env:
-  FOUNDRY_PROFILE: ci
+# env:
+#   FOUNDRY_PROFILE: ci
 
-concurrency:
-  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
-  cancel-in-progress: true
+# concurrency:
+#   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+#   cancel-in-progress: true
 
-jobs:
-  test:      
-    runs-on: ubuntu-latest
-    steps:
-    - name: Checkout repository
-      uses: actions/checkout@v3
-      with:
-        submodules: recursive
+# jobs:
+#   test:      
+#     runs-on: ubuntu-latest
+#     steps:
+#     - name: Checkout repository
+#       uses: actions/checkout@v3
+#       with:
+#         submodules: recursive
 
-    - name: Install Foundry
-      uses: foundry-rs/foundry-toolchain@v1
-      with:
-        version: nightly
+#     - name: Install Foundry
+#       uses: foundry-rs/foundry-toolchain@v1
+#       with:
+#         version: nightly
 
-    - name: Compile contracts
-      run: |
-        forge build --build-info
+#     - name: Compile contracts
+#       run: |
+#         forge build --build-info
 
-    - name: Run Echidna
-      uses: crytic/echidna-action@v2
-      with:
-        files: test/echidna/CryticERC4626Harness.t.sol
-        contract: CryticERC4626Harness
-        crytic-args: --foundry-ignore-compile --ignore-compile
+#     - name: Run Echidna
+#       uses: crytic/echidna-action@v2
+#       with:
+#         files: test/echidna/CryticERC4626Harness.t.sol
+#         contract: CryticERC4626Harness

.github/workflows/test.yml

@@ -24,7 +24,7 @@ jobs:
                   version: nightly
 
             - name: Run foundry build
-              run: forge build --force --sizes
+              run: forge build --force
 
             - name: Run foundry fmt check
               run: forge fmt --check    

test/echidna/CryticERC4626Harness.t.sol → test/echidna/CryticERC4626TestsHarness.t.sol

@@ -14,7 +14,7 @@ import {WithdrawalQueue} from "../../src/plugin/WithdrawalQueue.sol";
 import {AllocationPoints} from "../../src/core/module/AllocationPoints.sol";
 import {TestERC20Token} from "crytic-properties/ERC4626/util/TestERC20Token.sol";
 
-contract CryticERC4626Harness is CryticERC4626PropertyTests {
+contract CryticERC4626TestsHarness is CryticERC4626PropertyTests {
     uint256 public constant CASH_RESERVE_ALLOCATION_POINTS = 1000e18;
 
     // core modules

test/echidna/config/echidna.config.yaml

@@ -22,4 +22,6 @@ coverageFormats: ["lcov", "html"]
 quiet: false
 
 # concurrent workers
-workers: 10
+workers: 10
+
+crytic-args: ["--foundry-ignore-compile", "--ignore-compile"]