Re: Should exhaustiveness testing be on by default?

On Mon, May 18, 2009 at 4:00 PM, Norman Ramsey wrote:

P.S. The exhaustiveness checker does need improvement...

Is it documented somewhere what deficiencies the exhaustiveness checker has (where it can report problems that don't exist or fails to report problems that do...), and which deficiencies can't be resolved? Rob