You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Describe the bug
When opening files using uppaal from CLI on windows it only recognizes paths relative to uppaal. If you run it with absolute paths or relative to the path you are in they wont open.
To Reproduce
Steps to reproduce the behavior:
Open any command line tool
Run uppaal using '/uppaal '
See the error.
Expected behavior
I expected uppaal to open the file instead of complaining
Version(s) of UPPAAL tested
UPPAAL 5.0.0 (rev. 714BA9DB36F49691), 2023-06-21
Screenshots
Desktop (please complete the following information):
windows 11
Additional context
If i run the command with a path relative to uppall instead it does work as expected. ../my/path/to/uppaal/file/file.xml
The text was updated successfully, but these errors were encountered:
Describe the bug
When opening files using uppaal from CLI on windows it only recognizes paths relative to uppaal. If you run it with absolute paths or relative to the path you are in they wont open.
To Reproduce
Steps to reproduce the behavior:
Expected behavior
I expected uppaal to open the file instead of complaining
Version(s) of UPPAAL tested
UPPAAL 5.0.0 (rev. 714BA9DB36F49691), 2023-06-21
Screenshots
Desktop (please complete the following information):
windows 11
Additional context
If i run the command with a path relative to uppall instead it does work as expected.
../my/path/to/uppaal/file/file.xml
The text was updated successfully, but these errors were encountered: