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