9 lines
137 B
Promela
9 lines
137 B
Promela
|
#system epoc dyl
|
||
|
|
#set epocinit=iplib
|
||
|
|
#model small jpi
|
||
|
|
|
||
|
|
#pragma link(olib.lib)
|
||
|
|
#pragma link(rsort)
|
||
|
|
#pragma link(root)
|
||
|
|
#link rsort
|