18 lines
364 B
Promela
18 lines
364 B
Promela
#system epoc img
|
|
#set epocinit=iplib
|
|
#model small jpi
|
|
|
|
#compile oquery.c
|
|
|
|
#if %remake #or (oqd.dyl #older oquery.img) #or (oquery.dfl #older oquery.img) #then
|
|
#file delete oquery.img
|
|
#endif
|
|
|
|
#pragma link(hwif.lib)
|
|
|
|
#if (oquery.img #older oquery.afl) #or (oquery.img #older oquery.pic) #then
|
|
#file delete oquery.img
|
|
#endif
|
|
|
|
#link oquery.img
|