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 <[email protected]> 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 <[email protected]> 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: <[email protected]> >> Date: Wed, Oct 31, 2012 at 4:48 PM >> Subject: [DrDr] R25581 (timeout 2) (unclean 1) (stderr 3) (changes 59) >> To: [email protected] >> >> >> 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 _________________________ Racket Developers list: http://lists.racket-lang.org/dev
