Initial value of pos in https://www.eclipse.org/escet/v0.1/cif/#tut-time-chapter-deadlock-livelock
Dear Developers,
In the example on https://www.eclipse.org/escet/v0.1/cif/#tut-time-chapter-deadlock-livelock, pos
is used without an initial value.
Yet, pos
is important, i.e. the model checks whether the car arrives at pos
= 850
.
I tried to explicitly add an initial value but I failed
Both cont pos der speed = 1.0;
and cont pos der speed = 1;
yield
The type "bool" of the derivative of continuous variable "car.pos" is incompatible with the type "real" of the variable.
I also tried cont real pos der speed = 1;
, but that leads to a parse error.
Is it not possible to initialize pos
?
If so, please add this to the documentation.
If not, please initialize pos
in the example.
Greetings, Pierre