model-checking / cbmc-viewer

CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.
https://model-checking.github.io/cbmc-viewer/
Apache License 2.0
32 stars 11 forks source link

Apply visible_steps to individual text traces #86

Closed markrtuttle closed 2 years ago

markrtuttle commented 2 years ago

A prior commit added a visible_steps generator to modify which steps in a trace are considered visible and to omit the remaining hidden steps from the trace. That commit incorrectly applied the generator to the dict mapping trace names to traces, rather than to the traces themselves. This commit repairs that error.

Issue #, if available:

Description of changes:

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.