Change flag for Python 3.6 compatibility

uclid-org · Feb 16, 2024 · 0f17d75 · 0f17d75
1 parent af773ea
commit 0f17d75
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/uclid/run.py b/src/uclid/run.py
@@ -23,7 +23,7 @@ def verify(query: str):
         tmp.write(query.encode())
         tmp.flush()
         _logger.info(f"Running {uclid} on {tmp.name}")
-        output = subprocess.run([uclid, tmp.name], capture_output=True)
+        output = subprocess.run([uclid, tmp.name], stdout=subprocess.PIPE, stderr=subprocess.PIPE)
         return output.stdout.decode("utf-8")
 
 

diff --git a/tests/test_run.py b/tests/test_run.py
@@ -10,7 +10,7 @@
 
 def test_download():
     uclid = download_uclid()
-    output = subprocess.run([uclid, "--help"], capture_output=True)
+    output = subprocess.run([uclid, "--help"], stdout=subprocess.PIPE, stderr=subprocess.PIPE)
     assert output.returncode == 0
     output = output.stdout.decode("utf-8")
     assert "uclid 0.9.5" in output, f"uclid version not found in {output}"