source: vis_dev/vis-2.1/examples/tlc/tlc.fair @ 11

Last change on this file since 11 was 11, checked in by cecile, 13 years ago

Add vis
File size: 309 bytes
RevLine 
[11]1#The timer leaves state START non-deterministically.  This constraint
2#prevents it from staying in START forever, without leaving.
3!(timer.state=START);
4
5#The timer leaves state SHORT non-deterministically.  This constraint
6#prevents it from staying in SHORT forever, without leaving.
7!(timer.state=SHORT);
Note: See TracBrowser for help on using the repository browser.