add test-omit-paths

2016-10-03 15:45:46 -04:00 · 2016-10-03 15:45:46 -04:00 · b6a8d6bc95
commit b6a8d6bc95
parent 362b0f310d
1 changed files with 3 additions and 0 deletions
--- 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"))