kesterel2lustre

compile Kernel Esterel to Lustre
git clone https://a3nm.net/git/kesterel2lustre/
Log | Files | Refs | README

myabort.strl (217B)

      1 module myabort:
      2 input S;
      3 output S2;
      4 trap T in
      5   suspend [loop emit S2; pause end] when S;
      6   exit T
      7 || [ trap T2 in
      8   loop
      9     pause; present S then
     10       exit T2 else nothing
     11     end
     12   end
     13 end]; exit T
     14 end
     15 end module