8 lines
72 B
Promela
8 lines
72 B
Promela
#system epoc img
|
|
#model small jpi
|
|
|
|
#compile hello
|
|
#link hello
|
|
|
|
|