Cross-Contract #156
sophia1chci.yml
on: pull_request
Copyright
3s
Build & Test
1m 3s
Annotations
10 warnings
|
Build & Test:
contracts/Adjudicator.sol#L20
global import of path ./Channel.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Build & Test:
contracts/Adjudicator.sol#L21
global import of path ./App.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Build & Test:
contracts/Adjudicator.sol#L22
global import of path ./AssetHolder.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Build & Test:
contracts/Adjudicator.sol#L23
global import of path ./Array.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Build & Test:
contracts/Adjudicator.sol#L88
GC: Use Custom Errors instead of require statements
|
|
Build & Test:
contracts/Adjudicator.sol#L104
Rule is set with explicit type [var/s: uint]
|
|
Build & Test:
contracts/Adjudicator.sol#L105
Rule is set with explicit type [var/s: uint]
|
|
Build & Test:
contracts/Adjudicator.sol#L117
GC: Use Custom Errors instead of require statements
|
|
Build & Test:
contracts/Adjudicator.sol#L118
Rule is set with explicit type [var/s: uint]
|
|
Build & Test:
contracts/Adjudicator.sol#L124
GC: Use Custom Errors instead of require statements
|