Cannot unfold net

Bug #1932308 reported by Jiri Srba
6
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.

Revision history for this message
Jiri Srba (srba) wrote :
Changed in tapaal:
assignee: nobody → Thomas Pedersen (tpede16)
status: New → Fix Committed
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.