Runner for the Certora Prover
Project description
Commit 2e94078. 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
Built Distribution
Close
Hashes for certora-cli-alpha-CERT-2181_support_currentContract_in_ghosts-20230516.14.5.438179.tar.gz
Algorithm | Hash digest | |
---|---|---|
SHA256 | 6485ca2971b6157d33fa3498498acf73b5006e5290d0b08bdfcc4f03cc3df7c5 |
|
MD5 | 7f560544df1607a142c942125737d924 |
|
BLAKE2b-256 | 31a8593912afa0723ca07d8eb423a5bfbe134874c702bfec87be615138ca63df |
Close
Hashes for certora_cli_alpha_CERT_2181_support_currentContract_in_ghosts-20230516.14.5.438179-py3-none-any.whl
Algorithm | Hash digest | |
---|---|---|
SHA256 | 3e07e1dd73d91ffb44b07bce0565e5cbf053e8d489082dd95b9e6febd1cbcb0a |
|
MD5 | 24843dbe5a55aa1a4fd3572b85fb853b |
|
BLAKE2b-256 | 41837948bf146689fea7a1bc1dce800f8b15d75a0dc37242c097aaac288c9d62 |