[console_scripts]
cbmc-starter-kit-migrate-license = cbmc_starter_kit.migrate_license:main
cbmc-starter-kit-setup = cbmc_starter_kit.setup:main
cbmc-starter-kit-setup-proof = cbmc_starter_kit.setup_proof:main
cbmc-starter-kit-update = cbmc_starter_kit.update:main
