Issues

• Generate code coverage report in a well-known format

  model-checking/cbmc-viewer#206 · Filter by author ligurio opened on Jan 26, 2026

• Shift-Alt-Click does not work on macOS in Trace view

  bug
  model-checking/cbmc-viewer#156 · Filter by author rod-chapman opened on Jul 16, 2024
  1

• It is unclear how to generate a single report for a number GOTO binaries

  question
  model-checking/cbmc-viewer#150 · Filter by author ligurio opened on May 10, 2024

• Support SARIF output format

  enhancement
  model-checking/cbmc-viewer#149 · Filter by author ligurio opened on May 3, 2024
  2

• Reduce perceived clutter in viewer reports

  enhancement
  model-checking/cbmc-viewer#145 · Filter by author tautschnig opened on Aug 24, 2023

• Viewer Crashes when selected coverage is different from location e.g mcdc or branch

  bug
  model-checking/cbmc-viewer#137 · Filter by author FlorianBarrau opened on Dec 15, 2022

• How to report coverage for function contracts replacement?

  question
  model-checking/cbmc-viewer#132 · Filter by author feliperodri opened on Nov 4, 2022

• Restrict coverage to reachable functions

  enhancement
  model-checking/cbmc-viewer#69 · Filter by author markrtuttle opened on Dec 7, 2021
  1

• Produce stub and missing function reports

  enhancement
  model-checking/cbmc-viewer#63 · Filter by author markrtuttle opened on Oct 20, 2021
  2

• Use pathlib Path for portability

  enhancement
  model-checking/cbmc-viewer#62 · Filter by author markrtuttle opened on Oct 20, 2021

• Allow --property flag to be omitted

  enhancement
  model-checking/cbmc-viewer#61 · Filter by author markrtuttle opened on Oct 20, 2021
  1

• Fold away sequences of steps that all point to the same source location.

  enhancement
  model-checking/cbmc-viewer#44 · Filter by author vecchiot-aws opened on Jul 7, 2021

• Uniformly escape text used in html markup

  enhancement
  model-checking/cbmc-viewer#43 · Filter by author markrtuttle opened on Jun 22, 2021

• Distinguish between coverage of source code and proof code

  enhancement
  model-checking/cbmc-viewer#37 · Filter by author feliperodri opened on May 23, 2021