NullPointerExceptions occurs when save button is clicked in HistoryView. It happens with the machine file extension ".csp"
The problem seems to be that LoadedMachine.getMachineOperationInfo doesn't find an OperationInfo for the start_cspm_MAIN operation - maybe because it is generated by ProB and doesn't exist in the source file. I don't know enough about CSP and this part of the kernel to fix this though.
Operation Infos are now provided for start_cspm_MAIN; saving works now but replay does not work yet:
java.lang.IllegalArgumentException: Formula must be a predicate: 1=1
Some parts of the trace replay mechanism assume that the model uses B-like expression syntax. For example, the operation predicates are constructed using PredicateBuilder, which creates a B predicate based on a mapping of variables to values. This does not work for CSP because of syntax differences.
Also it seems that GetOperationByPredicateCommand doesn't work with CSP at all. Even if I hardcode the predicate as 1==1 (which appears to be a valid CSP expression), I get an error "Unknown Operation start_cspm_MAIN".
Deactivate saving and replaying traces for all formalisms other than B or translated to B