diff --git a/turnstile/info.rkt b/turnstile/info.rkt
index 32b864e..634a654 100644
--- a/turnstile/info.rkt
+++ b/turnstile/info.rkt
@@ -7,3 +7,6 @@
   '("examples/rosette"
     "examples/tests/rosette"))
 
+(define test-omit-paths
+  '("examples/rosette"
+    "examples/tests/rosette"))