35 lines
743 B
Promela
35 lines
743 B
Promela
|
#system epoc img
|
||
|
|
#set epocinit=iplib
|
||
|
|
#model small jpi
|
||
|
|
|
||
|
|
#compile demo.cat
|
||
|
|
|
||
|
|
#if %remake #or (demo.rg #older demo.re) #or (demo.rg #older demo.g) #then
|
||
|
|
#run "re demo" no_window no_abort
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#if (demo.rsg #older demo.rss) #or (demo.rsg #older demo.rg) #then
|
||
|
|
#file delete demo.rsg
|
||
|
|
#run "rs demo" no_window no_abort
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#if demo.rzc #older demo.rsg #then
|
||
|
|
#run "rch demo" no_window no_abort
|
||
|
|
#file delete wdrprint.img
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#compile decomman.c
|
||
|
|
#compile delp.c
|
||
|
|
#compile dedlg.c
|
||
|
|
#compile demain.c
|
||
|
|
#compile dewserv.c
|
||
|
|
|
||
|
|
#if (wdrprint.img #older wdrprint.afl) #or (wdrprint.img #older demo.pic) #then
|
||
|
|
#file delete wdrprint.img
|
||
|
|
#endif
|
||
|
|
|
||
|
|
#pragma link(olib.lib)
|
||
|
|
#pragma link(hwim.lib)
|
||
|
|
|
||
|
|
#link wdrprint.img
|