8 lines
94 B
Promela
8 lines
94 B
Promela
|
#system epoc img
|
||
|
|
#set epocinit=iplib
|
||
|
|
#model small jpi
|
||
|
|
|
||
|
|
#compile p_hello
|
||
|
|
#link p_hello
|
||
|
|
|