#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

Edited Jan 16, 2023 by Pierre van de Laar