Re: all facets covered, list of tests to approve:

* Lee Feigenbaum <> [2007-08-17 21:31-0400]
> ...shows that the tests under data-r2/* now cover all of the facets 
> identified by Eric. We've also taken extensive tests from ARQ, a couple of 
> tests from SteveH, and some tests from Chimezie to cover more complicated 
> algebraic constructs.

The coverage report had a mis-informed entry in it 'as the code was
assuming that all the .rq files were part of the test suite. None of
the open-world/sameTerm .rqs are parts of tests so this entry was bogus:

<a href="data-r2/open-world/sameTerm.rq" title="BuiltInCall-sameTerm">1</a>

The attached diff provides 3 tests for sameTerm. Should I commit it?

office: +1.617.258.5741 NE43-344, MIT, Cambridge, MA 02144 USA
mobile: +1.617.599.3509

Feel free to forward this message to any list for any purpose other than
email address distribution.

Received on Thursday, 30 August 2007 19:26:28 UTC