CProver assets
|
This folder contains resources for the documentation.
The folllowing files relate to the specification of the XML trace output when using the --xml-ui
flag.
Thexml_spec.xsd
file is an XSD specification of the trace. You can validate an output xml file from CBMC using the following invocation:
This is a LaTeX document describing the specification of the trace. It can be compiled to pdf using:
This requires:
Last modified: 2024-11-01 10:16:54 -0400