We're updating the issue view to help you get more done. 

Empty Operations view for Generated4000.mch

Description

When opening this file in prob_examples/public_examples/B/PerformanceTests
I have an empty operations view. I can go back and forward between the setup_constants
and INITIALISATION; but there are no operations visible.

Note: to avoid the stack overflow reported in another ticket, you may have to open the machine using probcli standalone or ProB Tcl/Tk first (to generate the Generated4000.prob file).

Environment

None

Status

Assignee

Unassigned

Reporter

Michael Leuschel

Labels

None

Priority

Major