Runner for the Certora Prover
Project description
Commit 7e48e24. 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.4.tar.gz
(25.7 MB
view hashes)
Built Distribution
Close
Hashes for certora_cli-3.6.4-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 1976813300c0c8c48a41dfb76db0fba816c49ed3733509bdb380cadf0ac1a967 |
|
MD5 | 13f260b295a40e1f8a0f1749e769c998 |
|
BLAKE2b-256 | 54171b29516df236673c0eff8e5364120b1576c44d6793b584b84cad3559c956 |