From c5599e8b6f6baf0170c19f46522c36d381eeab97 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Wed, 5 Jan 2011 15:28:27 -0600 Subject: [PATCH] Adds an option for logging the generated tests --- .../redex/examples/delim-cont/randomized-tests.rkt | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/collects/redex/examples/delim-cont/randomized-tests.rkt b/collects/redex/examples/delim-cont/randomized-tests.rkt index 17f4a878cd..b556d7b09c 100644 --- a/collects/redex/examples/delim-cont/randomized-tests.rkt +++ b/collects/redex/examples/delim-cont/randomized-tests.rkt @@ -36,7 +36,11 @@ n "Generate tests of size at most n" (set! size (string->number n)) - (set! attempt->size (const size))]) + (set! attempt->size (const size))] + ["--log" + p + "Log generated tests to path p" + (log-test (curryr pretty-display (open-output-file p #:exists 'truncate)))]) (printf "Test seed: ~a (size: ~a)\n" seed (or size "variable")) @@ -49,8 +53,10 @@ (when from-rules-tests (time (test #:source :-> #:attempts from-rules-tests #:attempt-size attempt->size))))) +(define log-test (make-parameter void)) + (define-syntax-rule (test . kw-args) - (redex-check grammar p (same-behavior? (term p)) + (redex-check grammar p (begin ((log-test) (term p)) (same-behavior? (term p))) #:prepare fix-prog . kw-args)) (define fix-prog