9 lines
141 B
Promela
9 lines
141 B
Promela
#system epoc img
|
|
#set epocinit=iplib
|
|
#model small jpi
|
|
#compile spy
|
|
#compile spybw
|
|
#compile wsreport
|
|
#pragma link(hwif.lib)
|
|
#link spy
|