[racket-dev] Fwd: [DrDr] R25581 (timeout 2) (unclean 1) (stderr 3) (changes 59)

That's a test that generates a bunch of random terms and checks some properties on them, which is why it might fail non-deterministically.  It could be that there's a problem with term generation that's only  shows up very rarely.  I'll see if I can replicate it to see what's going on.

Burke

On Oct 31, 2012, at 6:30 PM, Robby Findler <robby at eecs.northwestern.edu> wrote:

> Apparently it only fails occasionally (at least it passes for me when
> I just tried it twice and it didn't fail the last time in drdr).
> 
> Probably we should instrument it to see what is going on when it fails.
> 
> Robby
> 
> On Wed, Oct 31, 2012 at 6:05 PM, Danny Yoo <dyoo at racket-lang.org> wrote:
>> Does anyone know why one of the tests in DrDr is failing?
>> http://drdr.racket-lang.org/25581/collects/redex/tests/gen-test.rkt
>> 
>> 
>> 
>> ---------- Forwarded message ----------
>> From:  <drdr at racket-lang.org>
>> Date: Wed, Oct 31, 2012 at 4:48 PM
>> Subject: [DrDr] R25581 (timeout 2) (unclean 1) (stderr 3) (changes 59)
>> To: dyoo at racket-lang.org
>> 
>> 
>> DrDr has finished building push #25581 after 1.25h.
>> 
>> http://drdr.racket-lang.org/25581/
>> 
>> Push #25581 (which you did) contained a NEW condition that may need inspecting.
>>  stderr
>>    http://drdr.racket-lang.org/25581/collects/redex/tests/gen-test.rkt
>> 
>>  timeout
>>    http://drdr.racket-lang.org/25581/collects/tests/framework/main.rkt
>> _________________________
>>  Racket Developers list:
>>  http://lists.racket-lang.org/dev
> _________________________
>  Racket Developers list:
>  http://lists.racket-lang.org/dev