[console_scripts]
pysymex = pysymex.cli:main
pysymex-trace-analyze = pysymex.tracing.cli_analyzer:main
pysymex-verify = pysymex.verify_cli:main
