From 027450d128a3e79793f454580583b843254c8733 Mon Sep 17 00:00:00 2001 From: John Clements Date: Tue, 19 Oct 2010 17:44:13 -0700 Subject: [PATCH] increase timeout on stepper automatic tests --- collects/meta/props | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/meta/props b/collects/meta/props index d4d81c8314..c9a774aecc 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1861,6 +1861,7 @@ path/s is either such a string or a list of them. "collects/tests/srpersist/srptests.rktl" drdr:command-line #f "collects/tests/stepper" responsible (clements) "collects/tests/stepper/already-defined.rktl" drdr:command-line #f +"collects/tests/stepper/automatic-tests.rkt" drdr:timeout 600 "collects/tests/stepper/bad-letrec-test.rktl" drdr:command-line #f "collects/tests/stepper/constructor-redexes.rktl" drdr:command-line #f "collects/tests/stepper/global-prim-reduction.rktl" drdr:command-line #f