9 lines
108 B
Promela
9 lines
108 B
Promela
#system epoc img
|
|
#model small jpi
|
|
#pragma define(EPOC=>1,JPIC=>1)
|
|
|
|
#compile %main
|
|
#link %prjname
|
|
|
|
|