Exception when verifying ltl query
Bug #1983371 reported by
Lena Ernstsen
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Lena Ernstsen |
Bug Description
When verifying an ltl query with some trace on an untimed colored net a null pointer exception is thrown, as the query is removed after the net is unfolded.
This could be due to the "premature end of file" exception that is thrown before unfolding.
See the attached net.
Changed in tapaal: | |
milestone: | none → cpn |
Changed in tapaal: | |
assignee: | nobody → Lena Ernstsen (lsaid) |
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.