Projects
Filters
Dashboards
Apps
Create
ZMQ-Extension
Classic software project
Board
Reports
Issues
Components
Projects
/
ZMQ-Extension
/
ZMQEXTENSION-64
Copy link to issue
summary
Tracer should replay a trace in ProB
Description
Right now, it only generates a list of hash codes
Environment
Environment
None
Open
Assignee
Assignee
Philipp Koerner
Reporter
Reporter
Philipp Koerner
Priority
Priority
Major
Show 9 more fields
Story Points, Time tracking, Time tracking, Epic Link, Components, Sprint, Fix versions, Affects versions and Due date
Configure