[console_scripts]
cbmc-viewer = cbmc_viewer.cbmc_viewer:main
