6 lines
91 B
Promela
6 lines
91 B
Promela
|
#system epoc img
|
||
|
|
#set epocinit=iplib2
|
||
|
|
#model small jpi
|
||
|
|
#compile lkshell
|
||
|
|
#link lkshell
|