Crashes with assertions enabled: java.lang.IllegalStateException

Bug #1086823 reported by Thomas Bøgholm
6
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.IllegalStateException: No match found
 at java.util.regex.Matcher.group(Matcher.java:468)
 at java.util.regex.Matcher.group(Matcher.java:428)
 at uppaal.Location.<init>(Location.java:78)
 at uppaal.Automaton.<init>(Automaton.java:66)
 at uppaal.NTA.<init>(NTA.java:62)
 at sarts.Main.main(Main.java:445)

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.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.