[console_scripts]
cbmc-starter-kit-setup = cbmc_starter_kit.setup:main
cbmc-starter-kit-setup-ci = cbmc_starter_kit.setup_ci:main
cbmc-starter-kit-setup-proof = cbmc_starter_kit.setup_proof:main
cbmc-starter-kit-update = cbmc_starter_kit.update:main
