diff --git a/src/app/test_executive/block_production_priority.mli b/src/app/test_executive/block_production_priority.mli
deleted file mode 100644
index 8664ff022c1..00000000000
--- a/src/app/test_executive/block_production_priority.mli
+++ /dev/null
@@ -1 +0,0 @@
-module Make : Integration_test_lib.Intf.Test.Functor_intf
diff --git a/src/app/test_executive/block_production_timed_accounts_test.mli.todo b/src/app/test_executive/block_production_timed_accounts_test.mli.todo
deleted file mode 100644
index 28287c1dfa7..00000000000
--- a/src/app/test_executive/block_production_timed_accounts_test.mli.todo
+++ /dev/null
@@ -1 +0,0 @@
-module Make : Integration_test_lib.Test_functor_intf
diff --git a/src/app/test_executive/block_reward_test.mli b/src/app/test_executive/block_reward_test.mli
deleted file mode 100644
index 8664ff022c1..00000000000
--- a/src/app/test_executive/block_reward_test.mli
+++ /dev/null
@@ -1 +0,0 @@
-module Make : Integration_test_lib.Intf.Test.Functor_intf
diff --git a/src/app/test_executive/chain_reliability_test.mli b/src/app/test_executive/chain_reliability_test.mli
deleted file mode 100644
index 8664ff022c1..00000000000
--- a/src/app/test_executive/chain_reliability_test.mli
+++ /dev/null
@@ -1 +0,0 @@
-module Make : Integration_test_lib.Intf.Test.Functor_intf
diff --git a/src/app/test_executive/delegation_test.mli b/src/app/test_executive/delegation_test.mli
deleted file mode 100644
index 8664ff022c1..00000000000
--- a/src/app/test_executive/delegation_test.mli
+++ /dev/null
@@ -1 +0,0 @@
-module Make : Integration_test_lib.Intf.Test.Functor_intf
diff --git a/src/app/test_executive/gossip_consistency.mli b/src/app/test_executive/gossip_consistency.mli
deleted file mode 100644
index 8664ff022c1..00000000000
--- a/src/app/test_executive/gossip_consistency.mli
+++ /dev/null
@@ -1 +0,0 @@
-module Make : Integration_test_lib.Intf.Test.Functor_intf
diff --git a/src/app/test_executive/medium_bootstrap.mli b/src/app/test_executive/medium_bootstrap.mli
deleted file mode 100644
index 8664ff022c1..00000000000
--- a/src/app/test_executive/medium_bootstrap.mli
+++ /dev/null
@@ -1 +0,0 @@
-module Make : Integration_test_lib.Intf.Test.Functor_intf
diff --git a/src/app/test_executive/payments_test.mli b/src/app/test_executive/payments_test.mli
deleted file mode 100644
index 8664ff022c1..00000000000
--- a/src/app/test_executive/payments_test.mli
+++ /dev/null
@@ -1 +0,0 @@
-module Make : Integration_test_lib.Intf.Test.Functor_intf
diff --git a/src/app/test_executive/peers_reliability_test.mli b/src/app/test_executive/peers_reliability_test.mli
deleted file mode 100644
index 8664ff022c1..00000000000
--- a/src/app/test_executive/peers_reliability_test.mli
+++ /dev/null
@@ -1 +0,0 @@
-module Make : Integration_test_lib.Intf.Test.Functor_intf
diff --git a/src/app/test_executive/verification_key_update.mli b/src/app/test_executive/verification_key_update.mli
deleted file mode 100644
index 8664ff022c1..00000000000
--- a/src/app/test_executive/verification_key_update.mli
+++ /dev/null
@@ -1 +0,0 @@
-module Make : Integration_test_lib.Intf.Test.Functor_intf
diff --git a/src/app/test_executive/zkapps.mli b/src/app/test_executive/zkapps.mli
deleted file mode 100644
index 8664ff022c1..00000000000
--- a/src/app/test_executive/zkapps.mli
+++ /dev/null
@@ -1 +0,0 @@
-module Make : Integration_test_lib.Intf.Test.Functor_intf
diff --git a/src/app/test_executive/zkapps_nonce_test.mli b/src/app/test_executive/zkapps_nonce_test.mli
deleted file mode 100644
index 8664ff022c1..00000000000
--- a/src/app/test_executive/zkapps_nonce_test.mli
+++ /dev/null
@@ -1 +0,0 @@
-module Make : Integration_test_lib.Intf.Test.Functor_intf
diff --git a/src/app/test_executive/zkapps_timing.mli b/src/app/test_executive/zkapps_timing.mli
deleted file mode 100644
index 8664ff022c1..00000000000
--- a/src/app/test_executive/zkapps_timing.mli
+++ /dev/null
@@ -1 +0,0 @@
-module Make : Integration_test_lib.Intf.Test.Functor_intf