6 lines
154 B
Promela
6 lines
154 B
Promela
|
? <machine-dataspace ?machine> $machine [
|
||
|
? <rtt "10.0.33.136" ?min ?avg ?max> [
|
||
|
$log ! <log "-" { ping: { min: $min avg: $avg max: $max } }>
|
||
|
]
|
||
|
]
|