From 6fd3eea815657ebbd0e284bbc032bfd47843c156 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Wed, 1 Dec 2010 13:12:20 -0600 Subject: [PATCH] Disables randomized tests (of the randomized tests). The runtime is too long and variable to work well in DrDr. --- collects/redex/examples/delim-cont/randomized-tests-test.rkt | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/collects/redex/examples/delim-cont/randomized-tests-test.rkt b/collects/redex/examples/delim-cont/randomized-tests-test.rkt index a55b39a6bf..54c6193087 100644 --- a/collects/redex/examples/delim-cont/randomized-tests-test.rkt +++ b/collects/redex/examples/delim-cont/randomized-tests-test.rkt @@ -142,6 +142,4 @@ (let ([test-number 1]) (redex-check grammar p (transformation-preserves-meaning? (term p)) #:prepare fix-prog - #:source :-> . kw-args))) - -(time (test-transformation/randomized #:attempts 1 #:attempt-size (const 3))) \ No newline at end of file + #:source :-> . kw-args))) \ No newline at end of file