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

Actually maybe this is not a bug report, but mayb...

Description

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?
Franco

Reporter: Franco Mazzanti
E-mail: franco.mazzanti@isti.cnr.it

Environment

None

Status

Assignee

Jens Bendisposto

Reporter

blah111b

Epic Name <span class="error">&#91;deprecated, this field is no longer being used&#93;</span>

None

Choose Group

None

Priority