diff --git a/turnstile/info.rkt b/turnstile/info.rkt index 0e14ce4..4699fc8 100644 --- a/turnstile/info.rkt +++ b/turnstile/info.rkt @@ -15,6 +15,7 @@ (define test-omit-paths '("examples/rosette" + "examples/tests/dep-tests.rkt" "examples/tests/rosette" ; needs rosette "examples/tests/trivial-test.rkt" ; needs typed/racket "examples/tests/mlish/sweet-map.rkt" ; needs sweet-exp