Find trace to an invariant violation
Description
Environment
None
Gliffy Diagrams
Activity
Show:
Details
Details
Assignee
Philipp Koerner
Philipp KoernerReporter
Philipp Koerner
Philipp KoernerPriority
MajorCreated April 1, 2014 at 11:08 AM
Updated April 1, 2014 at 11:08 AM
Given a list of transitions between two hashcodes, find a trace to the invariant vioaltion.