[plt-scheme] redex: leveraging generated checks and coverage

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Wed Sep 16 21:49:47 EDT 2009

2009/9/16 Casey Klein <clklein at eecs.northwestern.edu>:
>> (redex-check M q #t)
> redex-check: unable to generate pattern number_1 in 100 attempts
> This error message should really include the side-condition part of
> the pattern since it's that part, not number_1, that's actually
> causing the difficulty. I'll fix that.
> I'm looking into some approaches that will make Redex's test case
> generation better at satisfying arbitrary side-conditions, but that
> will take some work.
> For the time being, maybe this message should be a warning instead of
> an error. What do you think, Robby?

I agree that it isn't a mistake of the user, but it does seem like a
situation where Redex can't really recover, so an exception seems like
a good way to do that.


Posted on the users mailing list.