Isolated transitions break the query dialog
Bug #1821588 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Medium
|
Kenneth Yrke Jørgensen | ||
3.5 |
Fix Released
|
Critical
|
Kenneth Yrke Jørgensen |
Bug Description
To reproduce, make a new net with just one transition with no arcs,
make a new query, select CTL query and the dialog does not appear
and the GUI breaks.
Related branches
lp:~yrke/tapaal/fixes-1821588-orphantransition
- Jiri Srba: Approve
-
Diff: 16 lines (+5/-1)1 file modifiedsrc/pipe/gui/ExportBatchDialog.java (+5/-1)
- TAPAAL Maintainers: Pending requested
-
Diff: 16 lines (+5/-1)1 file modifiedsrc/pipe/gui/ExportBatchDialog.java (+5/-1)
Changed in tapaal: | |
importance: | Critical → Medium |
status: | New → Confirmed |
status: | Confirmed → Fix Committed |
Changed in tapaal: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
The issue is that earlier the GUI said that orphan transitions are removed before the verification, this is not working like this anymore in 3.5.0 release.