Smart contracts test

Prover: beta v1 setup #536

Sign in to view logs

Annotations

5 warnings

Found more than One contract per file. 9 contracts found!

Found more than One contract per file. 6 contracts found!

Found more than One contract per file. 24 contracts found!

Variable "state" is unused

Variable "state" is unused

The logs for this run have expired and are no longer available.