rgrig/topl

multiple properties

Closed this issue · 3 comments

It seems that some events are lost when we instrument with more than one property. For example, InterleavedResponse1 in tomcat.topl fails when checked on its own, but not otherwise.

The handling of observables was completely messed up, both in the compiler and in the monitor. It's likely that 9070524 fixes the problem, but I'm testing.

No, this problem still exists.

To my knowledge, the problems related to multiple properties are fixed.
The original bug that made me investigate what happens with multiple properties has nothing to do with multiple properties: see #25.