Reply To: The “Reset condition” issue of scade example in Scade Primer

[Benjamin Descorps]

Hello,

Indeed, use of the pre operator is incorrect, missing an init clause.

You can replace :

s = (restart sigma every (pre s >= max))(count ());

by, either:

s = (restart sigma every (fby(s;1;0) >= max))(count ());

or

s = (restart sigma every ((0-> pre s) >= max))(count ());

The error will be fixed in the next SCADE version.

Benjamin