From 635073886698342ff7fe2f167d02d46716d4aa6c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Mon, 22 Apr 2013 11:55:00 -0400 Subject: [PATCH] Print seed used for TR random testing. To make it possible to reproduce test runs. original commit: 1f3e38d305eefd4e79615688e6327e8b3c8faec0 --- collects/tests/typed-racket/tr-random-testing.rkt | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/collects/tests/typed-racket/tr-random-testing.rkt b/collects/tests/typed-racket/tr-random-testing.rkt index eb97bbd3..3e9628cc 100644 --- a/collects/tests/typed-racket/tr-random-testing.rkt +++ b/collects/tests/typed-racket/tr-random-testing.rkt @@ -216,6 +216,7 @@ (define tr-eval (mk-eval 'typed/racket)) (define (check-all-reals sexp) + (when verbose? (displayln sexp)) (or (with-handlers ;; something went wrong, almost certainly typechecking failed ;; in which case we ignore the expression @@ -248,9 +249,16 @@ (equal? racket-result tr-result)))))))) (define n-attempts 1000) +(define seed (+ 1 (random (expt 2 30)))) +(define verbose? #f) (command-line #:once-each - [("-n") n "Number of attempts" (set! n-attempts (string->number n))]) + [("-n") n "Number of attempts" (set! n-attempts (string->number n))] + [("-s") s "RNG seed" (set! seed (string->number s))] + [("-v") "Print test cases" (set! verbose? #t)]) + +(random-seed seed) +(printf "seed: ~s~n" seed) (call-with-limits #f 1000 @@ -259,4 +267,4 @@ #:attempts n-attempts #:prepare exp->real-exp))) -;(printf "bad tests (usually typechecking failed): ~v~n" num-exceptions) +(printf "bad tests (usually typechecking failed): ~v~n" num-exceptions)