Runner for the Certora Prover
Project description
Commit 4dfe9a5. 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-3.6.6.tar.gz
(25.7 MB
view hashes)
Built Distribution
Close
Hashes for certora_cli-3.6.6-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | e94f3ff592e3577871ff4876ebec030cfd29150a9096f1b90cc53b88251dd18f |
|
MD5 | 0cebaeb67552c510366cede8438e9480 |
|
BLAKE2b-256 | 88bd5ae73cec7e1269c41aa700ea75a518e7139a6fab570021db568454641990 |