in Formula/cbmc-starter-kit.rb [33:37]
def install virtualenv_install_with_resources bash_completion.install "src/cbmc_starter_kit/etc/bash_completion.d/cbmc-starter-kit.sh" end