Prover: beta v1 setup #430
Annotations
5 warnings
|
Check Solidity formatting
Found more than One contract per file. 9 contracts found!
|
|
Check Solidity formatting
Found more than One contract per file. 6 contracts found!
|
|
Check Solidity formatting
Found more than One contract per file. 24 contracts found!
|
|
Check Solidity formatting
Variable "state" is unused
|
|
Check Solidity formatting
Variable "state" is unused
|
Loading