Dear Eclipse Escet developers,
On page https://www.eclipse.org/escet/cif/language-tutorial/basics/non-determinism.html is written
automaton outcome:
location unknown:
initial;
edge coin.land goto heads; // First way to land.
edge coin.land goto tails; // Second way to land.
location heads:
edge pick_up goto unknown;
location tails:
edge pick_up goto unknown;
end
The states heads
and tails
use the event pick_up
that is not in scope.
I think you it should be coin.pick_up
. I.e. similar to coin.land
in the location unknown
.
Greetings, Pierre