diff --git a/benchexec/test_integration/__init__.py b/benchexec/test_integration/__init__.py
index <HASH>..<HASH> 100644
--- a/benchexec/test_integration/__init__.py
+++ b/benchexec/test_integration/__init__.py
@@ -361,7 +361,10 @@ class BenchExecIntegrationTests(unittest.TestCase):
         parser.resolvers.add(DTDResolver())
 
         for xml_file in xml_files:
-            etree.parse(xml_file, parser=parser)
+            try:
+                etree.parse(xml_file, parser=parser)
+            except etree.XMLSyntaxError as e:
+                self.assertIsNone(e)
 
     def test_run_results_information(self):
         expected_xml = os.path.join(
Properly report test failures in case of invalid XML produced

The standard exception that lxml throws will cause a failure inside
nosetest because it does not have a filename attribute.