Re: how to test parsers?

On 30 Jul 2009, at 22:51, Bijan Parsia wrote:

> On 30 Jul 2009, at 21:54, Michael Schneider wrote:
> [snip]
[snip]
>
> 1) Manual inspect (not hugely unreasonable, actually)
> 2) Report it as an annoying serialization bug (not becuase it doesnt  
> conform, but because it's uboptimal)
> 3) Do a structural equivalence test.

You *could*, maybe, augment 1 with a mutual entailment check, I guess.  
But it's hard to imagine good tests where that was really necessary  
(except maybe a tough brainbender...) and it's a dangerous habit to  
get into.

Cheers,
Bijan.