Skip to content

Dear Developers,

On https://www.eclipse.org/escet/cif/language-tutorial/data/state-invariants.html:

-That is, for value 48 the update results in value 99 (2 * 48 + 3 = 99), and for value 49 the update results in value 101 (2 * 48 + 3 = 99).
+That is, for value 48 the update results in value 99 (2 * 48 + 3 = 99), and for value 49 the update results in value 101 (2 * 49 + 3 = 101).

Greetings, Pierre

Edited by Dennis Hendriks