Skip to content

Commit d07d56a

Browse files
Update CI tests to correctly check when Echidna tests are passing
1 parent ee04b27 commit d07d56a

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

.github/workflows/echidna.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -115,15 +115,15 @@ jobs:
115115
config: Popsicle.yaml
116116
contract: PopsicleFixed
117117
outcome: success
118-
expected: 'totalBalanceAfterTransferIsPreserved(address,uint256):\s*passed'
118+
expected: 'totalBalanceAfterTransferIsPreserved(address,uint256):\s*passing'
119119
- name: TestDepositWithPermit
120120
workdir: program-analysis/echidna/example/
121121
files: TestDepositWithPermit.sol
122122
solc-version: 0.8.0
123123
config: testdeposit.yaml
124124
contract: TestDepositWithPermit
125125
outcome: success
126-
expected: 'testERC20PermitDeposit(uint256):\s*passed'
126+
expected: 'testERC20PermitDeposit(uint256):\s*passing'
127127
- name: MultiABI
128128
workdir: program-analysis/echidna/example/
129129
files: multiabi.sol

0 commit comments

Comments
 (0)