diff --git a/examples/eg_protocols.pdl b/examples/eg_protocols.pdl index 3536ee88602ff2f20ade4989e1f0ffc3144facfa..91123c5824cbe9055386b2fb4793a8b70ef16105 100644 --- a/examples/eg_protocols.pdl +++ b/examples/eg_protocols.pdl @@ -1 +1,8 @@ -primitive foo(){} \ No newline at end of file +primitive together(in ia, in ib, out oa, out ob){ + while(true) synchronous() { + if(fires(ia)) { + put(oa, get(ia)); + put(ob, get(ib)); + } + } +} \ No newline at end of file