Metadata-Version: 2.1
Name: certora-cli
Version: 2.4.7
Summary: Utilities for building smart contracts for verification using the Certora Prover, and for running the Certora Prover
Home-page: https://github.com/Certora/CertoraCLI
Author: Certora
Author-email: support@certora.com
License: UNKNOWN
Platform: UNKNOWN
Classifier: Programming Language :: Python :: 3
Classifier: License :: OSI Approved :: MIT License
Classifier: Operating System :: OS Independent
Requires-Python: >=3.5
Description-Content-Type: text/markdown
Requires-Dist: tabulate
Requires-Dist: requests
Requires-Dist: pycryptodome
Requires-Dist: tqdm
Requires-Dist: click

# CertoraCLI
Build and Run scripts for executing the Certora Prover on Solidity smart contracts.

This repository should not be made public. It's build in CI allows to pull real artifacts of the CVT jar!


