certora-cli-alpha-EyalH-FrontendTesting

Runner for the Certora Prover


License
MIT
Install
pip install certora-cli-alpha-EyalH-FrontendTesting==20230515.13.2.152144