Contraction of STG transitions is incorrect

Bug #1444503 reported by Danil Sokolov
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Workcraft
Fix Committed
Medium
Danil Sokolov

Bug Description

Try to contract lds+ in the attached STG.

Tags: stg
Revision history for this message
Danil Sokolov (danilovesky) wrote :
Changed in workcraft:
milestone: none → 3.0.7
Changed in workcraft:
milestone: 3.0.7 → 3.0.8
Changed in workcraft:
status: Confirmed → 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.