fix: use bound instead of vm.assume (#53)
#298
0xJabberwocktests.yml
on: push
Run Unit Tests
1m 18s
Run Integration Tests
54s
Echidna Test
43s
Run symbolic execution tests
53s
Lint Commit Messages
32s
Annotations
10 warnings
|
Lint Commit Messages:
test/integration/arbitrum/FinalizeRequest.t.sol#L7
Explicitly mark visibility of state
|
|
Lint Commit Messages:
test/integration/arbitrum/FinalizeRequest.t.sol#L8
Explicitly mark visibility of state
|
|
Lint Commit Messages:
test/unit/Deploy.t.sol#L85
Avoid to use tx.origin
|
|
Lint Commit Messages:
test/unit/Deploy.t.sol#L86
Avoid to use tx.origin
|
|
Lint Commit Messages:
test/unit/Deploy.t.sol#L97
Avoid to use tx.origin
|
|
Lint Commit Messages:
test/unit/Deploy.t.sol#L99
Avoid to use tx.origin
|
|
Lint Commit Messages:
test/unit/EBOAccessModule.t.sol#L8
Variable "IEBOAccessModule" is unused
|
|
Lint Commit Messages:
test/unit/EBOFinalityModule.t.sol#L221
Variable "_arbitrator" is unused
|
|
Lint Commit Messages:
test/unit/EBOFinalityModule.t.sol#L229
Variable "_arbitrator" is unused
|
|
Lint Commit Messages:
test/unit/EBOFinalityModule.t.sol#L255
Variable "_arbitrator" is unused
|