Skip to content

Commit

Permalink
Add new test case
Browse files Browse the repository at this point in the history
  • Loading branch information
magoorden committed Jun 13, 2024
1 parent 696349f commit a1fed6b
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions test/test_strategoutil.py
Original file line number Diff line number Diff line change
Expand Up @@ -122,6 +122,14 @@ def test_run_stratego_all_variables(self):
"--eval-runs 100 --max-iterations 30 --filter 0")
mock_Popen.assert_called_with(expected, **self.POPEN_KWARGS)

def test_run_stratego_with_space_in_path(self):
with mock.patch("strategoutil.subprocess.Popen") as mock_Popen:
sutil.run_stratego("folder with spaces/model.xml", verifyta_command="$HOME/verifyta")
# Below is the expected result with Popen default shell.
expected = "$HOME/verifyta \"folder with spaces/model.xml\""

mock_Popen.assert_called_with(expected, **self.POPEN_KWARGS)

def test_successful_result_true(self):
verifyta_output = """
-- Formula is satisfied.
Expand Down

0 comments on commit a1fed6b

Please sign in to comment.