Runner for the Certora Prover
Project description
Commit 2fa0578. Build and Run scripts for executing the Certora Prover on Solidity smart contracts.
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
certora-cli-4.3.1.tar.gz
(37.1 MB
view hashes)
Built Distribution
Close
Hashes for certora_cli-4.3.1-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 7c72cb822ec458cb932b306f0a852358b5478eccd9f265c16ffb6e7516c324e5 |
|
MD5 | 1e7a72e3eb973af9a1b73060d9117141 |
|
BLAKE2b-256 | 68e245c07db384ccac3e86744c32f18f583c02aa2cb9e5e7e7a3a8349c42b3e8 |