Mercurial > hg > Members > nobuyasu > Spin

view Samples/p116.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

byte state = 1;

proctype A()
{	(state == 1) -> state = state + 1;
	assert(state == 2)
}
proctype B()
{	(state == 1) -> state = state - 1;
	assert(state == 0)
}
init { run A(); run B() }