Temporal Logic Rule Checker

Paste a log. Define rules. Find violations.

offline · no data sent
Log paste agent / automation / test output
Rules one rule per line
always: "X" must appear once   never: "X" must not appear
before: "B" has "A" A must precede B   after: "A" has "B" B must follow A
seq: "A" then "B" first A before first B   count: "X" >= N or <= N
Paste a log and define rules, then click Check Rules.