[console_scripts]
certoraBuild = certora_cli.certoraBuild:main
certoraRun = certora_cli.certoraRun:main

