[console_scripts]
certoraMutate = certora_cli.mutationTest:ext_gambit_entry_point
certoraRun = certora_cli.certoraRun:entry_point

