-
Notifications
You must be signed in to change notification settings - Fork 36
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.
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
Symbolic exploration using lps2lts-sym of the latest version of ltsmin is broken #1753
Comments
Further investigation shows that this issue has been introduced between the latest release of ltsmin (v3.0.2) and the latest development version. Most notably it does not occur when ltsmin is built without Sylvan support. I suspect that the upgrade of Sylvan causes the same issues as we had with upgrading Sylvan in mCRL2. I am not sure how to fix this, Sylvan has changed something about how the worker threads interface. |
This issue seems to have magically disappeared. This might not be a good sign, but I take it. The dockerfile has been updated to the latest version. |
Here is the stack trace, something something global variables
The text was updated successfully, but these errors were encountered: