From fe0525b7bb2d585d5eca1e62d0bfcee00b39d311 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Fri, 4 Feb 2011 06:58:05 -0600 Subject: [PATCH] Reduces the memory used by the randomized tests --- .../redex/examples/cont-mark-transform/randomized-tests.rkt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/redex/examples/cont-mark-transform/randomized-tests.rkt b/collects/redex/examples/cont-mark-transform/randomized-tests.rkt index 8f14ce49f7..65017dc3df 100644 --- a/collects/redex/examples/cont-mark-transform/randomized-tests.rkt +++ b/collects/redex/examples/cont-mark-transform/randomized-tests.rkt @@ -106,7 +106,10 @@ (parameterize ([max-normalization-steps 1000]) (SL-eval (term (∅ / ,expr)))))) (define TL-result - (TL-eval (term (∅ / (translate ,expr))))) + (dynamic-wind + (λ () (set-cache-size! 100)) + (λ () (TL-eval (term (∅ / (translate ,expr))))) + (λ () (set-cache-size! 350)))) (or (equal? SL-result TL-result) (compares-incomparable-keys? expr))))