[submodule "CBMC"]
	path = lib/cbmc
	url = https://github.com/diffblue/cbmc.git