test to debug

crytic · May 29, 2024 · 8911b57 · 8911b57
1 parent e1cc265
commit 8911b57
Showing 1 changed file with 5 additions and 7 deletions.
diff --git a/.github/workflows/medusa.yaml b/.github/workflows/medusa.yaml
@@ -23,8 +23,6 @@ jobs:
 
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1
-        with:
-          version: 5be158ba6dc7c798a6f032026fe60fc01686b33b
 
       - name: Go setup
         uses: actions/setup-go@v4
@@ -44,11 +42,11 @@ jobs:
         working-directory: tests/ERC20/foundry
         run: forge build --build-info
 
-#      - name: Run Medusa for Internal ERC20 tests
-#        working-directory: tests/ERC20/foundry
-#        run: |
-#          ls
-#          medusa fuzz --target-contracts CryticERC20InternalHarness --config medusa-config.json
+      - name: Run Medusa for Internal ERC20 tests
+        working-directory: tests/ERC20/foundry
+        run: |
+          ls out -R
+          medusa fuzz --target-contracts CryticERC20InternalHarness --config medusa-config.json
 
       - name: Run Medusa for External ERC20 tests
         working-directory: tests/ERC20/foundry