To prevent spam users, you can only post on this forum after registration, which is by invitation. If you want to post on the forum, please send me a mail (h DOT m DOT w DOT verbeek AT tue DOT nl) and I'll send you an invitation in return for an account.
Filter certain traces based on event sequence
I my log file I have some traces which should not be considered. Those particular traces contain a certain sequence of events. How can I filter out all of those traces with that sequence (pattern abstraction?)?