\ingroup module_hidden
\defgroup xmllang xmllang

# Folder xmllang

\author Martin Brain

CPROVER has optional XML output for results and there is an XML format
for goto-programs. It is used to interface to various IDEs. The
`xmllang/` directory contains the parser and helper functions for
handling this format.

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)
also see
[http://www.w3.org/XML/9707/XML-in-C](http://www.w3.org/XML/9707/XML-in-C).
