Skip to content
checkrules

Exclude 0x42... predeploys address space from being a message signer #280

Sign in to view logs

Exclude 0x42... predeploys address space from being a message signer

Exclude 0x42... predeploys address space from being a message signer #280

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Run Certora prover on all configs
3m 4s
3m 4s