Smart contracts test

Prover: fix compare initial and final values for the rolling hash in … #535

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.