From 498815a2254036709d56bc816df783145246d82a Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 14 May 2013 07:25:53 -0500
Subject: [PATCH] add enum-tests into run-tests.rkt

---
 collects/meta/props                | 1 +
 collects/redex/tests/enum-test.rkt | 2 +-
 collects/redex/tests/run-tests.rkt | 1 +
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/collects/meta/props b/collects/meta/props
index fe10f61d91..53017e2d93 100755
--- a/collects/meta/props
+++ b/collects/meta/props
@@ -939,6 +939,7 @@ path/s is either such a string or a list of them.
 "collects/redex/tests/run-tests.rkt" drdr:command-line (racket * "--examples" "--no-bitmap-gui") drdr:timeout 360
 "collects/redex/tests/ryr-test.rkt" drdr:timeout 200
 "collects/redex/tests/stepper-test.rkt" drdr:command-line (mzc *)
+"collects/redex/tests/enum-test.rkt" drdr:command-line (mzc *)
 "collects/redex/tests/term-test.rkt" drdr:command-line (mzc *)
 "collects/redex/tests/test-docs-complete.rkt" drdr:command-line (raco "make" *)
 "collects/redex/tests/tl-test.rkt" drdr:command-line (mzc *)
diff --git a/collects/redex/tests/enum-test.rkt b/collects/redex/tests/enum-test.rkt
index 78c8dd13dc..cfa4b2510d 100644
--- a/collects/redex/tests/enum-test.rkt
+++ b/collects/redex/tests/enum-test.rkt
@@ -17,7 +17,7 @@
 (define-language Rep
   (r (variable variable ...)))
 
-(try-it 1000 Rep r)
+(try-it 100 Rep r)
 
 ;; Recursion test
 (define-language Λc
diff --git a/collects/redex/tests/run-tests.rkt b/collects/redex/tests/run-tests.rkt
index 33e1d3ccbd..494c821502 100644
--- a/collects/redex/tests/run-tests.rkt
+++ b/collects/redex/tests/run-tests.rkt
@@ -34,6 +34,7 @@
      "check-syntax-test.rkt"
      "test-docs-complete.rkt"
      "tut-subst-test.rkt"
+     "enum-test.rkt"
      "bitmap-test.rkt")
    (if test-examples?
        '("../examples/cbn-letrec.rkt"