Should exhaustiveness testing be on by default?

[Robert Greayer]

On Mon, May 18, 2009 at 4:00 PM, Norman Ramsey <nr at eecs.harvard.edu> 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