11 lines
167 B
Promela
11 lines
167 B
Promela
#system epoc img
|
|
#set epocinit=iplib
|
|
#model small jpi
|
|
|
|
#pragma link(olib.lib)
|
|
#pragma link(prndir)
|
|
#pragma link(dirlist)
|
|
#pragma link(dirmain)
|
|
|
|
#link prndir
|