Skip to:
Skip to Jira Navigation
Skip to Side Navigation
Skip to Main Content
Projects
Filters
Dashboards
Apps
Create
Search
Sign in
ZMQ-Extension
Software project
Menu
Reports
Issues
You're in a company-managed project
Projects
ZMQ-Extension
ZMQEXTENSION-59
Find trace to an invariant violation
Add
Apps
Description
Given a list of transitions between two hashcodes, find a trace to the invariant vioaltion.
Environment
None
Gliffy Diagrams
More actions for Gliffy Diagrams
Activity
Show:
All
History
Work log
Transitions
Newest first
Give feedback
Open
Actions
Details
Assignee
Philipp Koerner
Philipp Koerner
Reporter
Philipp Koerner
Philipp Koerner
Priority
Major
Created
April 1, 2014 at 11:08 AM
Updated
April 1, 2014 at 11:08 AM
Configure
Given a list of transitions between two hashcodes, find a trace to the invariant vioaltion.