fix: echidna #22
ashitakahtests.yml
on: push
Run Unit Tests
35s
Run Integration Tests
25s
Echidna Test
28s
Run symbolic execution tests
24s
Lint Commit Messages
30s
Annotations
8 warnings
|
Lint Commit Messages:
test/integration/IntegrationBase.sol#L5
Variable "IERC20" is unused
|
|
Lint Commit Messages:
test/unit/EBORequestCreator.t.sol#L15
Line length must be no more than 120 but current length is 122
|
|
Lint Commit Messages:
test/unit/EBORequestCreator.t.sol#L122
Variable "_chainIds" is unused
|
|
Lint Commit Messages:
src/contracts/Arbitrable.sol#L65
Function order is incorrect, external function can not go after public view function (line 60)
|
|
Lint Commit Messages:
src/contracts/EBORequestCreator.sol#L26
Variable "_arbitrator" is unused
|
|
Lint Commit Messages:
src/contracts/EBORequestCreator.sol#L26
Variable "_council" is unused
|
|
Lint Commit Messages:
src/interfaces/IArbitrable.sol#L81
Function order is incorrect, external function can not go after external view function (line 70)
|
|
Lint Commit Messages:
src/interfaces/IEBORequestCreator.sol#L130
Function order is incorrect, external function can not go after external view function (line 116)
|