Disables randomized tests (of the randomized tests).

The runtime is too long and variable to work well in DrDr.
2010-12-01 13:12:20 -06:00 · 2010-12-01 13:12:20 -06:00 · 6fd3eea815
commit 6fd3eea815
parent c3f0052eac
1 changed files with 1 additions and 3 deletions
--- 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)))
+               #:source :-> . kw-args)))