Events after the final trace separator should be part of a new trace
bestchai opened this issue · comments
When running Texada on this log:
login attempt
auth failed
login attempt
authorized
--
login attempt
guest login
auth failed
authorized
--
login attempt
auth failed
login attempt
auth failed
--
login attempt
auth failed
login attempt
guest login
authorized
With command line:
./texada -f 'G(x->XFy)' -l log.txt
Texada's output is:
G("guest login" -> XF"auth failed")
G("guest login" -> XFauthorized)
However G("guest login" -> XF"auth failed") should not be true because in the last trace of in log guest login is only followed by authorized.
This seems to be an issue with parsing -- Texada should consider everything after the last trace separator as a new trace.
(Texada behaves as expected when the above log ends with "--")
[Issue created by bestchai: 2014-09-04]
[Last updated on bitbucket: 2015-06-04]
[Comment created by carolemieux: 2015-06-04]
Fixed issue40
→ <<cset 2446aa0c75e3>>