diff --git a/macrotypes/info.rkt b/macrotypes/info.rkt index 83ccaee..633cbca 100644 --- a/macrotypes/info.rkt +++ b/macrotypes/info.rkt @@ -5,3 +5,6 @@ (define test-omit-paths '("examples/tests/mlish/sweet-map.rkt")) ; needs sweet-exp + +(define test-timeouts + '(("examples/tests/run-mlish-tests5.rkt" 200))) diff --git a/turnstile/info.rkt b/turnstile/info.rkt index 72b9428..0512ee8 100644 --- a/turnstile/info.rkt +++ b/turnstile/info.rkt @@ -14,3 +14,5 @@ "examples/tests/trivial-test.rkt" ; needs typed/racket "examples/tests/mlish/sweet-map.rkt")) ; needs sweet-exp +(define test-timeouts + '(("examples/tests/run-mlish-tests5.rkt" 200)))