pyupgrade

runtimeverification · Jul 11, 2023 · c28d8fa · c28d8fa
1 parent 60dc23b
commit c28d8fa
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/deps/k b/deps/k
diff --git a/src/proof_generation/scripts/benchmark.py b/src/proof_generation/scripts/benchmark.py
@@ -39,7 +39,7 @@ def debug(msg: str) -> None:
 
 
 def run_command(command: list[str], **kwargs: Any) -> subprocess.Popen:
-    command_str = ' '.join([shlex.quote(frag) for frag in command])
+    command_str = shlex.join(command)
     debug(f"{ANSI.in_gray('+ ' + command_str)}")
     return subprocess.Popen(command, **kwargs)
 

diff --git a/src/proof_generation/scripts/proof_stats.py b/src/proof_generation/scripts/proof_stats.py
@@ -14,7 +14,7 @@ def debug(msg: str) -> None:
 
 
 def run_command(command: list[str], **kwargs: Any) -> subprocess.Popen:
-    command_str = ' '.join([shlex.quote(frag) for frag in command])
+    command_str = shlex.join(command)
     debug(f"{ANSI.in_gray('+ ' + command_str)}")
     return subprocess.Popen(command, **kwargs)
 

diff --git a/src/proof_generation/scripts/prove_reachability.py b/src/proof_generation/scripts/prove_reachability.py
@@ -16,7 +16,7 @@
 
 
 def run_command(command: list[str], **kwargs: Any) -> subprocess.Popen:
-    command_str = ' '.join([shlex.quote(frag) for frag in command])
+    command_str = shlex.join(command)
     print(f"{ANSI.in_gray('+ ' + command_str)}", file=sys.stderr)
     return subprocess.Popen(command, **kwargs)
 

diff --git a/src/proof_generation/scripts/prove_symbolic.py b/src/proof_generation/scripts/prove_symbolic.py
@@ -14,7 +14,7 @@
 
 
 def run_command(command: list[str], **kwargs: Any) -> subprocess.Popen:
-    command_str = ' '.join([shlex.quote(frag) for frag in command])
+    command_str = shlex.join(command)
     print(f"{ANSI.in_gray('+ ' + command_str)}", file=sys.stderr)
     return subprocess.Popen(command, **kwargs)