14 lines
298 B
Promela
14 lines
298 B
Promela
|
#system epoc img
|
||
|
|
#model small jpi
|
||
|
|
|
||
|
|
#if (%main.rsg #older %main.rss) #or (%main.rsc #older %main.rss) #then
|
||
|
|
#run "rs %main" no_window no_abort
|
||
|
|
#endif
|
||
|
|
#if (%main.img #older %main.afl) #or (%main.img #older %main.pic) #then
|
||
|
|
#file delete %main.img
|
||
|
|
#endif
|
||
|
|
#compile %main
|
||
|
|
#link %main
|
||
|
|
|
||
|
|
|