smtcomp/test_solver.py:

SMT-COMP · Jun 13, 2024 · d8ffae2 · d8ffae2
1 parent 7745fe8
commit d8ffae2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/smtcomp/test_solver.py b/smtcomp/test_solver.py
@@ -56,7 +56,7 @@ def test(cmd: str, args: list[str], file: str, expected: str) -> None:
     all = [cmd] + args + [file]
     print(all, flush=True)
    # result = subprocess.run(all, stdout=subprocess.PIPE, stderr=subprocess.STDOUT)
-    result = subprocess.run(all, stdout=subprocess.PIPE, stderr=subprocess.STDERR)
+    result = subprocess.run(all, stdout=subprocess.PIPE)
     if result.returncode < 0:
         returnsignal = -result.returncode
     else: