Mercurial > hg > Members > nobuyasu > Spin

view Samples/p95.2.pml @ 2:a2dac3fa7383 draft default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add Makefile
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Fri, 29 Jun 2012 06:22:47 +0900
parents 86e67be8bc5f
children
line wrap: on
line source

proctype A(byte state; short set)
{	(state == 1) -> state = set
}

init { run A(1, 3) }