kesterel2lustre

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

inputsuspend3.strl (120B)


      1 module inputsuspend3:
      2 input S;
      3 output Ta, Tb;
      4 suspend
      5   loop
      6     emit Ta; pause; emit Tb; pause
      7   end when S
      8 end module