Commit 39b2b12

committed

Add XML trace specification

and a reference in the documentation.

1 parent 1f2f1fa commit 39b2b12Copy full SHA for 39b2b12

3 files changed

+831

-0

lines changed

doc
- assets
  - xml_spec.md
  - xml_spec.tex
- cprover-manual
  - cbmc-tutorial.md

3 files changed

+831

-0

lines changed

Comments

(0)