File tree 1 file changed +5
-7
lines changed
1 file changed +5
-7
lines changed Original file line number Diff line number Diff line change 23
23
24
24
- name : Install Foundry
25
25
uses : foundry-rs/foundry-toolchain@v1
26
- with :
27
- version : 5be158ba6dc7c798a6f032026fe60fc01686b33b
28
26
29
27
- name : Go setup
30
28
uses : actions/setup-go@v4
@@ -44,11 +42,11 @@ jobs:
44
42
working-directory : tests/ERC20/foundry
45
43
run : forge build --build-info
46
44
47
- # - name: Run Medusa for Internal ERC20 tests
48
- # working-directory: tests/ERC20/foundry
49
- # run: |
50
- # ls
51
- # medusa fuzz --target-contracts CryticERC20InternalHarness --config medusa-config.json
45
+ - name : Run Medusa for Internal ERC20 tests
46
+ working-directory : tests/ERC20/foundry
47
+ run : |
48
+ ls out -R
49
+ medusa fuzz --target-contracts CryticERC20InternalHarness --config medusa-config.json
52
50
53
51
- name : Run Medusa for External ERC20 tests
54
52
working-directory : tests/ERC20/foundry
You can’t perform that action at this time.
0 commit comments