Debug test, again

model-checking · Mar 14, 2024 · 456cc14 · 456cc14
1 parent a87006f
commit 456cc14
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/benchcomp/test/test_regression.py b/tools/benchcomp/test/test_regression.py
@@ -458,6 +458,7 @@ def test_markdown_results_table(self):
             run_bc()
 
             self.assertEqual(run_bc.proc.returncode, 0, msg=run_bc.stderr)
+            self.maxDiff = None
             self.assertEqual(
                 run_bc.stdout, textwrap.dedent("""
                     ## runtime