diff --git a/Makefile b/Makefile
index daa3a98b..71fd1aad 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,7 @@
 # -*- Makefile -*-
 
 # --------------------------------------------------------------------
-ECCONF := config/tests.config 
+ECCONF := config/tests.config
 CHECKS ?= mlkem
 
 # --------------------------------------------------------------------
diff --git a/config/tests.config b/config/tests.config
index d783a576..00f140bb 100644
--- a/config/tests.config
+++ b/config/tests.config
@@ -1,3 +1,12 @@
 [test-mlkem]
 okdirs  = !proof
 exclude = !proof/attic
+
+[test-mlkem-spec-sec]
+okdirs  = proof/security
+
+[test-mlkem-spec-corr]
+okdirs  = proof/spec
+
+[test-mlkem-impl-corr]
+okdirs  = !proof/correctness !proof/eclib