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

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
>>
>>