Prover: beta v1.2 #1706
gusirirun-smc-tests.yml
on: pull_request
Run smart contracts tests
4m 30s
Solidity format check
1m 7s
Annotations
7 warnings
|
Solidity format check
Found more than One contract per file. 9 contracts found!
|
|
Solidity format check
Found more than One contract per file. 6 contracts found!
|
|
Solidity format check
global import of path @openzeppelin/contracts/token/ERC20/ERC20.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Solidity format check
global import of path @openzeppelin/contracts/access/Ownable.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)
|
|
Solidity format check
Avoid to use tx.origin
|
|
Solidity format check
Variable "state" is unused
|
|
Solidity format check
Variable "state" is unused
|