[submodule "tests/cbmc/aws-templates-for-cbmc-proofs"]
	path = tests/cbmc/aws-templates-for-cbmc-proofs
	url = https://github.com/awslabs/aws-templates-for-cbmc-proofs