ikos
ikos copied to clipboard
Support the JUnit XML format for IKOS output
In order to integrate with the Jenkins CI/CD tool, it would be helpful to have IKOS output detected issues in the JUnit XML format, which is understood by Jenkins.