[console_scripts]
certoraRun = certora_cli.certoraRun:entry_point

