Closed atomb closed 4 years ago
The --xml flag instructs lustre-sally to emit its results in the XML format used by the kind2 -xml command. However, the current output omits counter-examples. Fixing this essentially amounts to finishing the incomplete xmlTrace function.
--xml
lustre-sally
kind2 -xml
This seems to work now.
atomb
commented
4 years ago
The
--xmlflag instructslustre-sallyto emit its results in the XML format used by thekind2 -xmlcommand. However, the current output omits counter-examples. Fixing this essentially amounts to finishing the incomplete xmlTrace function.