19 lines
231 B
Promela
19 lines
231 B
Promela
|
#system epoc dyl
|
||
|
|
#set epocinit=iplib
|
||
|
|
#model small jpi
|
||
|
|
|
||
|
|
#abort on
|
||
|
|
|
||
|
|
#set version=0x320F
|
||
|
|
|
||
|
|
#compile %main.cat
|
||
|
|
|
||
|
|
#compile txtread.c
|
||
|
|
|
||
|
|
#pragma link(s3fconv.lib)
|
||
|
|
#pragma link(olib.lib)
|
||
|
|
#pragma link(hwim.lib)
|
||
|
|
|
||
|
|
#link %main
|
||
|
|
|