[console_scripts]
cbmc-viewer = cbmc_viewer.viewer:viewer
make-coverage = cbmc_viewer.make_coverage:main
make-loop = cbmc_viewer.make_loop:main
make-property = cbmc_viewer.make_property:main
make-reachable = cbmc_viewer.make_reachable:main
make-result = cbmc_viewer.make_result:main
make-source = cbmc_viewer.make_source:main
make-symbol = cbmc_viewer.make_symbol:main
make-trace = cbmc_viewer.make_trace:main
