feat: ebo finality module #7
0xJabberwocktests.yml
on: push
Run Unit Tests
32s
Run Integration Tests
47s
Echidna Test
1m 27s
Run symbolic execution tests
35s
Lint Commit Messages
53s
Annotations
7 warnings
|
Lint Commit Messages:
test/invariants/symbolic/Greeter.t.sol#L7
Line length must be no more than 120 but current length is 126
|
|
Lint Commit Messages:
src/contracts/EBOFinalityModule.sol#L25
Variable "_oracle" is unused
|
|
Lint Commit Messages:
src/contracts/EBOFinalityModule.sol#L32
Function order is incorrect, modifier definition can not go after constructor (line 25)
|
|
Lint Commit Messages:
src/interfaces/IEBOFinalityModule.sol#L65
Function order is incorrect, struct definition can not go after custom error definition (line 54)
|
|
Lint Commit Messages:
src/interfaces/IEBOFinalityModule.sol#L78
Function name must be in mixedCase
|
|
Lint Commit Messages:
src/interfaces/IGreeter.sol#L44
Function name must be in mixedCase
|
|
Lint Commit Messages:
src/interfaces/IGreeter.sol#L66
Function order is incorrect, external function can not go after external view function (line 56)
|