Merge branch 'develop-remove-deprecatedPipes'. Close #292.

NASA-SW-VnV · Nov 26, 2024 · e466004 · e466004
2 parents 026c409 + 18a82a1
commit e466004
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/analyzer/python/ikos/analyzer.py b/analyzer/python/ikos/analyzer.py
@@ -45,7 +45,6 @@
 import json
 import os
 import os.path
-import pipes
 import shlex
 import shutil
 import signal
@@ -553,10 +552,7 @@ def parse_arguments(argv):
     return opt
 
 
-if hasattr(shlex, 'quote'):
-    sh_quote = shlex.quote
-else:
-    sh_quote = pipes.quote
+sh_quote = shlex.quote
 
 
 def command_string(cmd):