39 lines
782 B
Promela
39 lines
782 B
Promela
#system epoc img
|
|
#set epocinit=iplib
|
|
#model small jpi
|
|
|
|
#abort on
|
|
|
|
#set version=0x100F
|
|
#set priority=0x80
|
|
#set heapsize=0x80
|
|
|
|
#compile %main.cat
|
|
|
|
#if %remake #or (%main.rg #older %main.re) #or (%main.rg #older %main.g) #then
|
|
#run "re %main" no_window no_abort
|
|
#endif
|
|
|
|
#if (%main.rsg #older %main.rss) #or (%main.rsg #older %main.rg) #then
|
|
#file delete %main.rsg
|
|
#run "rs %main" no_window no_abort
|
|
#run "rch %main" no_window no_abort
|
|
#endif
|
|
|
|
#compile o_timer.c
|
|
|
|
#if %main.shd #older %main.ms #then
|
|
#run "makeshd %main" no_window no_abort
|
|
#file delete %main.img
|
|
#endif
|
|
|
|
#if (%main.img #older %main.afl) #or (%main.img #older %main.pic) #then
|
|
#file delete %main.img
|
|
#endif
|
|
|
|
#pragma link(olib.lib)
|
|
#pragma link(hwim.lib)
|
|
|
|
#link %main
|
|
|