[Versa] Updated test cases and spec

[Uche Ogbuji]

On Mon, 2005-10-03 at 23:55 -0600, Michael Olson wrote: 
> Are checked into CVS.  The spec is a "version-0.4++".  It has minor  
> changes to remove reduce/reduce conflict.  The addition of list  
> constants, slicing and the statements function.  Also removed some no  
> longer needed functions like "substring" (as its supplied by slicing).
> 
> I've written 437 test cases (in a RDF format similar to the RDF/OWL  
> tests) and have a java implementation the executes all of properly  
> (which I'll make available to the public soon I hope).  The tests are  
> fairly thorough, though I need more negative tests.

Cool but...

> The EBNF checked in is generated from bgen so its again not pretty, but  
> complete.
> 
> To see a list of queries, co the CVS.  build it and look at  
> build/TestCases.html  The HTML needs work but it does show three  
> different views of the test cases.

I get:

xslt-tests:
     [echo] processing tests
     [exec] Error parsing source document
(file:///home/uogbuji/devel/Versa/docs/spec/TestCases.doc): XML parse
error in u'file:///home/uogbuji/devel/Versa/tests/Manifest.rdf' at line
30, column 9: mismatched tag

BUILD FAILED
/home/uogbuji/devel/Versa/build.xml:100: exec returned: 1

tests/Manifest.rdf has several WF errors, and the pattern makes me
wonder whether they're intended (?!).  I tried to figure out what that
file is supposed to do but Ant is confusing as hell to read, and I gave
up.

So I can't browse the test cases.  I'll work through the spec today.


-- 
Uche Ogbuji                               Fourthought, Inc.
http://uche.ogbuji.net                    http://fourthought.com
http://copia.ogbuji.net                   http://4Suite.org
Articles: http://uche.ogbuji.net/tech/publications/