Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Upstream bug, windows paths are relative to uppaal installation #241

Open
frederikja163 opened this issue Mar 21, 2024 · 0 comments
Open

Upstream bug, windows paths are relative to uppaal installation #241

frederikja163 opened this issue Mar 21, 2024 · 0 comments
Labels
wontfix This will not be worked on

Comments

@frederikja163
Copy link
Owner

UPPAALModelChecker/UPPAAL-Meta#252

For now we have a workaround by finding uppaal in the path and getting a relative path to the uppaal installation. If uppaal updates we should consider updating too, however this would mean we only work with newer uppaal versions than the one that made the fix.
@frederikja163 frederikja163 added the wontfix This will not be worked on label Mar 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
wontfix This will not be worked on
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@frederikja163