On 02/23/2014 08:36 AM, ro...@racket-lang.org wrote:
robby has updated `master' from b047b32c6e to e0a1a40fd4.
http://git.racket-lang.org/plt/b047b32c6e..e0a1a40fd4
~~~~~~~~~~
e0a1a40 Robby Findler <ro...@racket-lang.org> 2014-02-23 09:24
:
| change the meaning of the #:enum argument to redex-check
|
| Thanks to Neil Toronto for suggesting how to do this!
:
M pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt | 2 +
M .../redex-doc/redex/scribblings/ref.scrbl | 15 ++++---
M .../redex-lib/redex/private/generate-term.rkt | 47 +++++++++++++-------
M .../redex-pkgs/redex-test/redex/tests/rg-test.rkt | 2 +-
Does this give you the kind of random test cases you were looking for?
Neil ⊥
_________________________
Racket Developers list:
http://lists.racket-lang.org/dev
