Sorry, this is work in progress. We will provide an XML Schema document that fully specifies the output produced by kind2 -xml.
For now, we have an XML schema documenting the execution paths: xmlschema.xsd
Sorry, this is work in progress. We will provide an XML Schema document that fully specifies the output produced by kind2 -xml.
For now, we have an XML schema documenting the execution paths: xmlschema.xsd