[racket-dev] [DrDr] R28413 (timeout 4) (unclean 16) (stderr 35) (changes 22)

Just to confirm: Redex isn't doing anything wrong, right?

Redex is now using the in-order enumeration generation in a default
configuration (for a little while before adding some of the old-style
random generated terms).

So if you want to see what kinds of things it generates, you can use
generate-term with the #:i-th argument.

Robby



On Wed, Mar 26, 2014 at 12:03 PM, Eric Dobson <eric.n.dobson at gmail.com>wrote:

> Looks like what is actually happening is that redex is actually
> generating reals for this program now.
>
> #lang racket
>
> (require redex/reduction-semantics)
> (define-language tr-arith
>   [n real])
>
> (redex-check tr-arith n #t
>    #:prepare (lambda (x) (displayln x) x))
>
> Before we were only getting small integers.
>
> On Wed, Mar 26, 2014 at 9:46 AM, Eric Dobson <eric.n.dobson at gmail.com>
> wrote:
> > This push has started breaking the random TR tests. I think the issue
> > is that TR assumed that redex wouldn't generate so large numbers that
> > it exceeded the flonum range. Could that have changed in this commit?
> > Or changed so that were generated earlier in random testing? If so the
> > issue is definitely on the TR side, but just want to confirm that the
> > theory is likely.
> >
> > On Wed, Mar 26, 2014 at 4:58 AM,  <drdr at racket-lang.org> wrote:
> >> DrDr has finished building push #28413 after 1.20h.
> >>
> >> http://drdr.racket-lang.org/28413/
> >>
> >> A file you are responsible for has a condition that may need inspecting.
> >>   stderr:
> >>
> http://drdr.racket-lang.org/28413/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
> >>
> >>   unclean:
> >>
> http://drdr.racket-lang.org/28413/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt
> >>
> >>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/dev/archive/attachments/20140326/f940e57a/attachment.html>