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

Choose Group

None

Priority

Configure