cheng81/PEPL0 — Issue #1: Guard backtracking
Author: cheng81
Created: 2012-03-01 18:07:06+00:00
State: open

Event guards should backtrack

e.g.

foo {...}
bar {...}
....
when Executed(foo<*,*>) as f1 & Executed(bar) as f2 {....}

currently will fail, if the event history is the following:

foo(0,1) foo(1,2) bar(1)

since `foo(0,1)` is first recognized, and then `bar(1)` does not match.