Cannot unfold net
Bug #1932308 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Critical
|
Thomas Pedersen |
Bug Description
Open the attached net and unfold it (press M) without any optimizations (deselect all three options) and it says there are orphan transitions and the unfolded net is not correct.
Changed in tapaal: | |
assignee: | nobody → Thomas Pedersen (tpede16) |
status: | New → Fix Committed |
To post a comment you must log in.