JUppaal

Crashes with assertions enabled: java.lang.IllegalStateException

Bug #1086823 reported by Thomas Bøgholm on 2012-12-05

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

lp:juppaal

Thomas Bøgholm (boegholm) on 2012-12-05

Changed in juppaal:
importance:	Undecided → High
assignee:	nobody → Thomas Bøgholm (boegholm)

Thomas Bøgholm (boegholm) on 2012-12-05

Changed in juppaal:
status:	New → Confirmed
status:	Confirmed → In Progress
status:	In Progress → Fix Committed
status:	Fix Committed → Fix Released

Report a bug

This report contains Public information

Everyone can see this information.

You are

Subscribing...

Edit bug mail

Other bug subscribers

Remote bug watches

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