Prover: connect the codehash and the statesummary module #1259
AlexandreBellingrun-smc-tests.yml
on: pull_request
Run smart contracts tests
1m 49s
Solidity format check
47s
Annotations
3 errors and 2 warnings
|
Run smart contracts tests
cannot use rng (variable of type *"math/rand".Rand) as *"math/rand/v2".Rand value in argument to field.PseudoRand
|
|
Run smart contracts tests
cannot use rng (variable of type *"math/rand".Rand) as *"math/rand/v2".Rand value in argument to field.PseudoRand
|
|
Run smart contracts tests
Process completed with exit code 1.
|
|
Solidity format check
Variable "state" is unused
|
|
Solidity format check
Variable "state" is unused
|