Initial value of pos in https://www.eclipse.org/escet/v0.1/cif/#tut-time-chapter-deadlock-livelock
In the example on https://www.eclipse.org/escet/v0.1/cif/#tut-time-chapter-deadlock-livelock,
pos is used without an initial value.
pos is important, i.e. the model checks whether the car arrives at
I tried to explicitly add an initial value but I failed
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
If so, please add this to the documentation.
If not, please initialize
pos in the example.