Mercurial > hg > Members > nobuyasu > Spin
view Samples/p97.2.pml @ 2:a2dac3fa7383 draft default tip
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 nr(short id, a, b) { int res; atomic { res = (a*a+b)/2*a; printf("result %d: %d\n", id, res) } } init { run nr(1,1,1); run nr(1,2,2); run nr(1,3,2) }