Skip to content

Commit f6cee8e

Browse files
use no-color and escape special characters
1 parent a3814d8 commit f6cee8e

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

.github/workflows/medusa.yml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -100,15 +100,15 @@ jobs:
100100
config: Popsicle.yaml
101101
contract: PopsicleBroken
102102
outcome: failure
103-
expected: '"PopsicleBroken.totalBalanceAfterTransferIsPreserved(address,uint256)" resulted in an assertion failure after the following call sequence'
103+
expected: '\"PopsicleBroken.totalBalanceAfterTransferIsPreserved(address,uint256)\" resulted in an assertion failure after the following call sequence'
104104
- name: PopsicleFixed
105105
workdir: program-analysis/echidna/example/
106106
files: PopsicleFixed.sol
107107
solc-version: 0.8.4
108108
config: Popsicle.yaml
109109
contract: PopsicleFixed
110110
outcome: success
111-
expected: 'totalBalanceAfterTransferIsPreserved(address,uint256):\s*passing'
111+
expected: '\[PASSED\] Assertion Test: PopsicleFixed.totalBalanceAfterTransferIsPreserved(address,uint256)'
112112
- name: TestDepositWithPermit
113113
workdir: program-analysis/echidna/example/
114114
files: TestDepositWithPermit.sol
@@ -171,7 +171,7 @@ jobs:
171171
run: |
172172
solc-select install ${{ matrix.solc-version || '0.8.0' }}
173173
solc-select use ${{ matrix.solc-version || '0.8.0' }}
174-
medusa fuzz --compilation-target ${{ matrix.files }} --target-contracts ${{ matrix.contract }} > ${{ matrix.files }}.out
174+
medusa fuzz --compilation-target ${{ matrix.files }} --target-contracts ${{ matrix.contract }} --no-color > ${{ matrix.files }}.out || true
175175
176176
- name: Verify that the output is correct
177177
run: |

0 commit comments

Comments
 (0)