trace-list missing for hyperLTL with one trace only
Bug #2051740 reported by
Jiri Srba
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Committed
|
Undecided
|
Unassigned |
Bug Description
The verifypn engine does not include the trace-list tag and trace name
if the hyperLTL query contains quantification with only one trace.
It should still be outputted so that the trace name can be correctly visualized in the simulator.
Changed in tapaal: | |
status: | New → Fix Committed |
To post a comment you must log in.