Tools for CSC and USC checks should report pairs of traces leading to the same state code

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

Bug Description

Currently the GUI for CSC and USC checks only show the first reported trace, but omits the second. Probably the parser should be modified to address this issue.

Tags: mpsat
Changed in workcraft:
milestone: 3.0.2 → 3.0.3
Changed in workcraft:
milestone: 3.0.3 → 3.0.4
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.