Wincupl Tutorial - California State University, Fresno

Although the syntax is a bit obtuse one can see that the description is much like a next state table in which the present and next states and their transitions are specified. You need not understand this code-it is for example only. ................
................