tree 036b7d1a9c239f374756f4ebe1a6d8bdf3bcb963
parent 8e1d1665fc3138889f8de803cbe2bfa4e047561f
author Ian Zerny <zerny@google.com> 1529486176 +0200
committer Ian Zerny <zerny@google.com> 1529486176 +0200

Debugging states should be filtered when computing the 'next' state.

Prior to this we would still need to have the same number of states for each
stream, just a filtered-out state would be allowed to differ among each stream.
With this change, filtered states are simply discarded from the streams and we
always compare the first non-skipped points of the streams with each other.

Change-Id: I54668d0a54b4f3c2de3ecc6ef877ebe120637de4