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
Description: # 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!
        
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
