RE: [abc] oopsla outline

> Yes, I figured that one out eventually as well, but it took
> me a while to figure out what was going wrong. I had
> forgotten that not explicitly including the read* causes
> filtering of traces with read's in them.

So much about the claim that filtering semantics are more intuitive ;-)

Eric

--
Eric Bodden
Sable Research Group, McGill University
Montreal, Canada