kesterel2lustre

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

myabort2.strl (121B)

      1 module myabort2:
      2 input S;
      3 output S2;
      4 trap T in
      5   suspend
      6     loop emit S2; pause end
      7   when S
      8   || exit T
      9 end
     10 end module