Actually maybe this is not a bug report, but maybe a weakness in the documentation.
I struggled to find a way to define two separate machines A and B, where an operation of A calls an operation of B.
According to the ProB syntax, a call operation seems to be accepted as a possible Statement
"x <-- OP call operation and assign return value"
but I cannot find a way to exploit this feature, as I get the error message "query-operation expected"
Is it possible to see a minimal example on how to correctly use this feature?
Reporter: Franco Mazzanti