[submodule "tests/cbmc/aws-verification-model-for-libcrypto"]
	path = tests/cbmc/aws-verification-model-for-libcrypto
	url = https://github.com/awslabs/aws-verification-model-for-libcrypto.git
