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

Enables the randomized delimited control tests in DrDr

Browse Source
This commit is contained in:
Casey Klein 2010-12-31 15:00:02 -06:00
parent 03c48b67a7
commit f480d75810
2 changed files with 26 additions and 8 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: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/test.rkt" drdr:command-line (mzc *)
"collects/redex/examples/letrec.rkt" drdr:command-line (mzc *)
"collects/redex/examples/omega.rkt" drdr:command-line (mzc *)

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

@ -8,17 +8,35 @@
(provide (all-defined-out))
(define (main [seed-arg #f])
(define seed
(if seed-arg
(string->number seed-arg)
(add1 (random (sub1 (expt 2 31))))))
(define (main . args)
(define from-grammar-tests #f)
(define from-rules-tests #f)
(define seed (add1 (random (sub1 (expt 2 31)))))
(command-line
#:argv args
#:once-each
["--grammar"
n
"Perform n tests generated from the grammar for programs"
(set! from-grammar-tests (string->number n))]
["--rules"
n
"Perform n tests generated from the reduction relation"
(set! from-rules-tests (string->number n))]
["--seed"
n
"Generate tests using the PRG seed n"
(set! seed (string->number n))])
(printf "Test seed: ~s\n" seed)
(parameterize ([current-pseudo-random-generator test-prg])
(random-seed seed))
(parameterize ([redex-pseudo-random-generator test-prg])
(time (test #:attempts 3000))
(time (test #:source :-> #:attempts 3000))))
(when from-grammar-tests
(time (test #:attempts from-grammar-tests)))
(when from-rules-tests
(time (test #:source :-> #:attempts from-rules-tests)))))
(define-syntax-rule (test . kw-args)
(redex-check grammar p (same-behavior? (term p))