Runner for the Certora Prover
Project description
Commit 586c4b6. 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.0.tar.gz
(10.0 MB
view hashes)
Built Distribution
Close
Hashes for certora_cli-3.6.0-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 94dd1b8bd2bedfdee08e689b25ae308a217f2cf9a78a97f7169b7881f2c6111a |
|
MD5 | 41c7d39cfa4efb67d721e9cb18d68b7d |
|
BLAKE2b-256 | 22e1749d868c41375cba4820f4d9131de788a0f826df175db6f43c185f3a8ac9 |