cprover
xmllang/README.md
Go to the documentation of this file.
1 \ingroup module_hidden
2 \defgroup xmllang xmllang
3 
4 # Folder xmllang
5 
6 \author Martin Brain
7 
8 CPROVER has optional XML output for results and there is an XML format
9 for goto-programs. It is used to interface to various IDEs. The
10 `xmllang/` directory contains the parser and helper functions for
11 handling this format.
12 
13 Based on grammar/tokenizer from [http://www.w3.org/XML/9707/xml-in-c.tar.gz](http://www.w3.org/XML/9707/xml-in-c.tar.gz)
14 also see
15 [http://www.w3.org/XML/9707/XML-in-C](http://www.w3.org/XML/9707/XML-in-C).