Runner for the Certora Prover
Project description
Commit 02ff19e. 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.0.6.tar.gz
(39.0 MB
view hashes)
Built Distribution
Close
Hashes for certora_cli-4.0.6-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | ff81d72a48f04b8a12769196958c4a15cbcc1a75b7f3fabea906a8a31dd94ec8 |
|
MD5 | 10643225b57e35f22d7b04137236921d |
|
BLAKE2b-256 | 8a424c7957b20faa27405e228ab468afb31da6e8bd1f3f2efa1193c7a8ecad2b |