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
O
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 wrote:
> Does anyone know why one of th
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:
Date: Wed, Oct 31, 2012 at 4:48 PM
Subject: [DrDr] R25581 (timeout 2) (unclean 1) (stderr 3) (changes 59)
To: d...@racket-
3 matches
Mail list logo