9 lines
108 B
Promela
9 lines
108 B
Promela
#system epoc img
|
|
#set epocinit=iplib
|
|
#model small jpi
|
|
|
|
#compile upc
|
|
#compile bcode
|
|
#compile scan
|
|
#link scan
|