Adding quotes around the jar path

informalsystems / modelator-py

Utilities for the TLA+ ecoystem and model-based testing using TLA+.

Apache License 2.0

28 stars 2 forks source link

Adding quotes around the jar path #61

Closed ivan-gavran closed 2 years ago

ivan-gavran commented 2 years ago

When a command string (cmd_str) is generated, it does not add quotes around the path to the jar. This can be a problem for paths which contains folders with blank spaces in them.