<div dir="ltr">Just to confirm: Redex isn't doing anything wrong, right?<div><br></div><div>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).</div>
<div><br></div><div>So if you want to see what kinds of things it generates, you can use generate-term with the #:i-th argument.</div><div><br></div><div>Robby</div><div><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Wed, Mar 26, 2014 at 12:03 PM, Eric Dobson <span dir="ltr"><<a href="mailto:eric.n.dobson@gmail.com" target="_blank">eric.n.dobson@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Looks like what is actually happening is that redex is actually<br>
generating reals for this program now.<br>
<br>
#lang racket<br>
<br>
(require redex/reduction-semantics)<br>
(define-language tr-arith<br>
  [n real])<br>
<br>
(redex-check tr-arith n #t<br>
   #:prepare (lambda (x) (displayln x) x))<br>
<br>
Before we were only getting small integers.<br>
<div class="HOEnZb"><div class="h5"><br>
On Wed, Mar 26, 2014 at 9:46 AM, Eric Dobson <<a href="mailto:eric.n.dobson@gmail.com">eric.n.dobson@gmail.com</a>> wrote:<br>
> This push has started breaking the random TR tests. I think the issue<br>
> is that TR assumed that redex wouldn't generate so large numbers that<br>
> it exceeded the flonum range. Could that have changed in this commit?<br>
> Or changed so that were generated earlier in random testing? If so the<br>
> issue is definitely on the TR side, but just want to confirm that the<br>
> theory is likely.<br>
><br>
> On Wed, Mar 26, 2014 at 4:58 AM,  <<a href="mailto:drdr@racket-lang.org">drdr@racket-lang.org</a>> wrote:<br>
>> DrDr has finished building push #28413 after 1.20h.<br>
>><br>
>> <a href="http://drdr.racket-lang.org/28413/" target="_blank">http://drdr.racket-lang.org/28413/</a><br>
>><br>
>> A file you are responsible for has a condition that may need inspecting.<br>
>>   stderr:<br>
>>     <a href="http://drdr.racket-lang.org/28413/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt" target="_blank">http://drdr.racket-lang.org/28413/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt</a><br>

>><br>
>>   unclean:<br>
>>     <a href="http://drdr.racket-lang.org/28413/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt" target="_blank">http://drdr.racket-lang.org/28413/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/tr-random-testing.rkt</a><br>

>><br>
>><br>
</div></div></blockquote></div><br></div>