Certora provides access to a prover which can be run against a code set. In https://github.com/coinbase/smart-wallet/pull/34 we added the associated infrastructure and specs necessary to run the prover against this repo. This PR adds running the prover during CI.
Certora provides access to a prover which can be run against a code set. In https://github.com/coinbase/smart-wallet/pull/34 we added the associated infrastructure and specs necessary to run the prover against this repo. This PR adds running the prover during CI.