1[submodule "source/dependency/coreMQTT"] 2 path = source/dependency/coreMQTT 3 url = https://github.com/FreeRTOS/coreMQTT.git 4[submodule "test/unit-test/CMock"] 5 path = test/unit-test/CMock 6 url = https://github.com/ThrowTheSwitch/CMock.git 7 update = none 8[submodule "test/cbmc/aws-templates-for-cbmc-proofs"] 9 path = test/cbmc/aws-templates-for-cbmc-proofs 10 url = https://github.com/awslabs/aws-templates-for-cbmc-proofs.git 11 update = none 12[submodule "test/cbmc/litani"] 13 path = test/cbmc/litani 14 url = https://github.com/awslabs/aws-build-accumulator 15 update = none 16
