Reply To: Why local variable “has no definition” when it is already defined in actions?

[Benjamin Descorps]

Hello,

Indeed, definition of state2 is incorrect. The until clause is not put at the right place. Is here the correct piece of code:

state ST2

  sig sig1;

  var bV1: bool;

  let

         bV1 = 'sig1;

         bO3 = bV1;

  tel

until if true do emit 'sig1;

restart ST1; 

We will fix the example in the Reference Manual in the next SCADE version.

Benjamin