From 9c0b046d54057c95e4f5b7fc57c0cc18acfc1179 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Wed, 25 Jan 2017 16:36:46 -0500 Subject: [PATCH] add some test timeouts --- macrotypes/info.rkt | 3 +++ turnstile/info.rkt | 2 ++ 2 files changed, 5 insertions(+) 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)))