Crashes with assertions enabled: java.lang.IllegalStateException
Bug #1086823 reported by
Thomas Bøgholm
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
JUppaal |
Fix Released
|
High
|
Thomas Bøgholm |
Bug Description
Seems to be caused by side effects in assertion
In Location.java:
java.lang.
at java.util.
at java.util.
at uppaal.
at uppaal.
at uppaal.
at sarts.Main.
Related branches
Changed in juppaal: | |
importance: | Undecided → High |
assignee: | nobody → Thomas Bøgholm (boegholm) |
Changed in juppaal: | |
status: | New → Confirmed |
status: | Confirmed → In Progress |
status: | In Progress → Fix Committed |
status: | Fix Committed → Fix Released |
To post a comment you must log in.