cprover
Loading...
Searching...
No Matches
assets Directory Reference
+ Directory dependency graph for assets:

Files

 driver.h
 
 kdev_t.h
 
 modules.h
 

Detailed Description

This folder contains resources for the documentation.

XML Spec

The folllowing files relate to the specification of the XML trace output when using the --xml-ui flag.

xml_spec.xsd

Thexml_spec.xsd file is an XSD specification of the trace. You can validate an output xml file from CBMC using the following invocation:

$ cbmc --xml-ui main.c | \
xmllint --schema xml_spec.xsd --xpath "cprover/result/goto_trace" -

xml_spec.tex

This is a LaTeX document describing the specification of the trace. It can be compiled to pdf using:

$ pdflatex -shell-escape xml_spec.tex

This requires: