suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Configures DrDr to run larger random tests

Browse Source
This commit is contained in:
Casey Klein 2011-01-03 09:36:55 -06:00
parent 25c1400d8b
commit 4ca857fad7
2 changed files with 16 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/meta/props
View File

@ -1200,7 +1200,7 @@ path/s is either such a string or a list of them.
"collects/redex/examples/combinators.rkt" drdr:command-line (mzc *)
"collects/redex/examples/compatible-closure.rkt" drdr:command-line (mzc *)
"collects/redex/examples/delim-cont/randomized-tests-test.rkt" drdr:timeout 240 drdr:random #t
"collects/redex/examples/delim-cont/randomized-tests.rkt" drdr:command-line (racket "-tm" * "--" "--rules" "3000") drdr:timeout 180 drdr:random #t
"collects/redex/examples/delim-cont/randomized-tests.rkt" drdr:command-line (racket "-tm" * "--" "--rules" "2250" "--size" "3") drdr:timeout 240 drdr:random #t
"collects/redex/examples/delim-cont/test.rkt" drdr:command-line (mzc *)
"collects/redex/examples/letrec.rkt" drdr:command-line (mzc *)
"collects/redex/examples/omega.rkt" drdr:command-line (mzc *)

19
collects/redex/examples/delim-cont/randomized-tests.rkt
View File

@ -11,8 +11,12 @@
(define (main . args)
(define from-grammar-tests #f)
(define from-rules-tests #f)
(define seed (add1 (random (sub1 (expt 2 31)))))
(define size #f)
(define attempt->size default-attempt-size)
(command-line
#:argv args
#:once-each
@ -27,16 +31,23 @@
["--seed"
n
"Generate tests using the PRG seed n"
(set! seed (string->number n))])
(set! seed (string->number n))]
["--size"
n
"Generate tests of size at most n"
(set! size (string->number n))
(set! attempt->size (const size))])
(printf "Test seed: ~a (size: ~a)\n" seed (or size "variable"))
(printf "Test seed: ~s\n" seed)
(parameterize ([current-pseudo-random-generator test-prg])
(random-seed seed))
(parameterize ([redex-pseudo-random-generator test-prg])
(when from-grammar-tests
(time (test #:attempts from-grammar-tests)))
(time (test #:attempts from-grammar-tests #:attempt-size attempt->size)))
(when from-rules-tests
(time (test #:source :-> #:attempts from-rules-tests)))))
(time (test #:source :-> #:attempts from-rules-tests #:attempt-size attempt->size)))))
(define-syntax-rule (test . kw-args)
(redex-check grammar p (same-behavior? (term p))