Open Pytheas01 opened 9 years ago
In SymphonyTool 0.4.0, the "initial" keyword is not highlighted.
channels tick class ClockSt = begin state public s: nat initial Init() frame wr s post s = 0
In SymphonyTool 0.4.0, the "initial" keyword is not highlighted.