diff --git a/.gitmodules b/.gitmodules
index 9d3f0f264..b6489d273 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -2,11 +2,3 @@
 	path = test/unit-test/CMock
 	url = https://github.com/ThrowTheSwitch/CMock
 	update = none
-[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
diff --git a/test/cbmc/aws-templates-for-cbmc-proofs b/test/cbmc/aws-templates-for-cbmc-proofs
deleted file mode 160000
index fdbf54250..000000000
--- a/test/cbmc/aws-templates-for-cbmc-proofs
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit fdbf54250243dfa4c23db47e26fd059958387733
diff --git a/test/cbmc/litani b/test/cbmc/litani
deleted file mode 160000
index 8b4a4ffb3..000000000
--- a/test/cbmc/litani
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 8b4a4ffb330119c7f4d9abd5996313eccd2c4ab1
diff --git a/test/cbmc/proofs/Makefile-project-defines b/test/cbmc/proofs/Makefile-project-defines
index 4d2fc2f70..722d7e52c 100644
--- a/test/cbmc/proofs/Makefile-project-defines
+++ b/test/cbmc/proofs/Makefile-project-defines
@@ -15,7 +15,7 @@ COMPILE_FLAGS += -fPIC
 COMPILE_FLAGS += -std=gnu90
 
 # Path to litani executable, used for running proofs and displaying report
-LITANI ?= $(SRCDIR)/test/cbmc/litani/litani
+LITANI ?= litani
 PROJECT_NAME = "FreeRTOS coreMQTT"