Skip to content

Commit

Permalink
Fix check parameter
Browse files Browse the repository at this point in the history
  • Loading branch information
jmhorcas committed Nov 7, 2024
1 parent 196474b commit 340c296
Showing 1 changed file with 3 additions and 4 deletions.
7 changes: 3 additions & 4 deletions flamapy/metamodels/bdd_metamodel/models/bdd_model.py
Original file line number Diff line number Diff line change
Expand Up @@ -78,9 +78,9 @@ def _set_global_constants(self) -> None:
caller_dir = os.getcwd()
os.chdir(Path(__file__).parent)
if self.system == 'Windows':
shell = subprocess.Popen(['wsl', 'pwd'], stdout=subprocess.PIPE, stderr=subprocess.PIPE, check=True, text=True, shell=True)
shell = subprocess.Popen(['wsl', 'pwd'], stdout=subprocess.PIPE, stderr=subprocess.PIPE, text=True, shell=True)
else:
shell = subprocess.Popen(['pwd'], stdout=subprocess.PIPE, stderr=subprocess.PIPE, check=True, text=True, shell=True)
shell = subprocess.Popen(['pwd'], stdout=subprocess.PIPE, stderr=subprocess.PIPE, text=True, shell=True)
stdout, sdterr = shell.communicate()
self.bdd4var_dir = stdout.strip()
os.chdir(caller_dir)
Expand All @@ -105,8 +105,7 @@ def run(self, binary: str, *args: Any) -> Any:
command = [bin_file, bin_dir] + list(args)
return subprocess.Popen(command,
stdout=subprocess.PIPE,
stderr=subprocess.PIPE,
check=True,
stderr=subprocess.PIPE,
text=True,
shell=True)

Expand Down

0 comments on commit 340c296

Please sign in to comment.