8 lines
107 B
Promela
8 lines
107 B
Promela
#system epoc img
|
|
#set epocinit=iplib2
|
|
#model small jpi
|
|
|
|
#compile scapt
|
|
#compile pcxsave
|
|
#link scapt
|