diff --git a/.gitmodules b/.gitmodules
index ab65b0b25..3bf722ba6 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -4,6 +4,12 @@
 [submodule "test/bats"]
 	path = test/bats
 	url = https://github.com/sstephenson/bats.git
+[submodule "inference/dimmwitted/test/bats"]
+        path = inference/dimmwitted/test/bats
+	url = https://github.com/sstephenson/bats.git
+[submodule "compiler/ddlog/test/bats"]
+	path = compiler/ddlog/test/bats
+	url = https://github.com/sstephenson/bats.git
 [submodule "extern/buildkit"]
 	path = extern/buildkit
 	url = https://github.com/netj/buildkit.git
diff --git a/compiler/ddlog/.gitmodules b/compiler/ddlog/.gitmodules
deleted file mode 100644
index db077d414..000000000
--- a/compiler/ddlog/.gitmodules
+++ /dev/null
@@ -1,3 +0,0 @@
-[submodule "test/bats"]
-	path = test/bats
-	url = https://github.com/sstephenson/bats.git
diff --git a/inference/dimmwitted/.gitmodules b/inference/dimmwitted/.gitmodules
deleted file mode 100644
index 7b3723e00..000000000
--- a/inference/dimmwitted/.gitmodules
+++ /dev/null
@@ -1,3 +0,0 @@
-[submodule "test/bats"]
-	path = test/bats
-	url = https://github.com/sstephenson/bats