7 lines
90 B
Promela
7 lines
90 B
Promela
#system epoc img
|
|
#set epocinit=iplib
|
|
#model small jpi
|
|
|
|
#compile a4test
|
|
#link a4test
|