id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
317	failure on example.c	Stephen Siegel		"{{{
xml$ tass verify -frontend=clang example.c
+----------------------------------------------------------------------+
|           TASS: Toolkit for Accurate Scientific Software             |
|                     http://vsl.cis.udel.edu/tass                     |
|                       v1.1 (r2321, 2011-07-19)                       |
+----------------------------------------------------------------------+
               model : example (numProcs = 1)
          sourceFile : example.c
                mode : VERIFY
              prover : CVC3
            deadlock : ABSOLUTE
           reduction : URGENT
            simplify : true
         bufferBound : 10
             verbose : false
         loop method : false
   collectiveAsserts : false
               cqmin : true
        detectCycles : false
          repository : ./TASSREP
            frontend : CLANG
          errorBound : 1

/tools/llvm/build/Debug+Asserts/bin/clang -cc1 -load /Users/siegel/Documents/workspace/TASS/clang/PrintTassAST/Debug+Asserts/lib/libPrintTassAST.dylib -iwithsysroot /Users/siegel/Documents/workspace/TASS/include -plugin print-tass -plugin-arg-print-tass /Users/siegel/Documents/workspace/TASS/examples/xml/./TASSREP/example.c.xml /Users/siegel/Documents/workspace/TASS/examples/xml/example.c
Syntax error: Error parsing AST file ./TASSREP/example.c.xml:
An XML parse error occurred while parsing java.io.FileInputStream@56c163f line 274 column 51:
org.xml.sax.SAXParseException: cvc-complex-type.2.4.a: Invalid content was found starting with element 'on:argument'. One of '{""http://vsl.cis.udel.edu/ns/tass/statement/expression/OperatorNode"":argument1}' is expected.
xml$ 
}}}
"	defect	closed	major	1.1	multiple	1.1	fixed