[console_scripts]
runtimeverify = runtimeverify.cli:main
verify = runtimeverify.cli:main
