[submodule "test/cbmc/aws-templates-for-cbmc-proofs"]
	path = test/cbmc/aws-templates-for-cbmc-proofs
	url = https://github.com/awslabs/aws-templates-for-cbmc-proofs.git
	update = none
[submodule "test/cbmc/litani"]
	path = test/cbmc/litani
	url = https://github.com/awslabs/aws-build-accumulator
	update = none
[submodule "test/unit-test/Unity"]
	path = test/unit-test/Unity
	url = https://github.com/ThrowTheSwitch/Unity
	update = none