[racket-dev] [plt] Push #28224: master branch updated

On 02/23/2014 08:36 AM, robby at racket-lang.org wrote:
> robby has updated `master' from b047b32c6e to e0a1a40fd4.
>    http://git.racket-lang.org/plt/b047b32c6e..e0a1a40fd4
>
> ~~~~~~~~~~
>
> e0a1a40 Robby Findler <robby at 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 ⊥