www

commit 9c0b046d54057c95e4f5b7fc57c0cc18acfc1179
parent 9f9294dc4cb9a2748b1c21660bfae8b9ef2075e3
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Wed, 25 Jan 2017 16:36:46 -0500

add some test timeouts

Diffstat:
M
macrotypes/info.rkt
 | 
3
+++
M
turnstile/info.rkt
 | 
2
++

2 files changed, 5 insertions(+), 0 deletions(-)
diff --git 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
@@ -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)))