Do not check XML traces on --cover tests

Author: hannes-steffenhagen-diffblue

regression/validate-trace-xml-schema/check.py

@@ -34,6 +34,9 @@
     ['unknown-argument-suggestion', 'test.desc'],
     # this one produces XML intermingled with main XML output when used with --xml-ui
     ['graphml_witness2', 'test.desc'],
+    # these are producing coverage goals which aren't including in the schema
+    ['cover-failed-assertions', 'test.desc'],
+    ['cover-failed-assertions', 'test-no-failed-assertions.desc'],
     # produces intermingled XML on the command line
     ['coverage_report1', 'test.desc'],
     ['coverage_report1', 'paths.desc'],