Search results

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

bugSomething isn't workingSomething isn't working

Status: Open.

#156 In model-checking/cbmc-viewer;

· rod-chapman opened on Jul 16, 2024

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

questionFurther information is requestedFurther information is requested

Status: Open.

#150 In model-checking/cbmc-viewer;

· ligurio opened on May 10, 2024

Support SARIF output format

enhancementNew feature or requestNew feature or request

Status: Open.

#149 In model-checking/cbmc-viewer;

· ligurio opened on May 3, 2024

Reduce perceived clutter in viewer reports

enhancementNew feature or requestNew feature or request

Status: Open.

#145 In model-checking/cbmc-viewer;

· tautschnig opened on Aug 24, 2023

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

bugSomething isn't workingSomething isn't working

Status: Open.

#137 In model-checking/cbmc-viewer;

· FlorianBarrau opened on Dec 15, 2022

Suppress unhelpful warnings for better user experience

enhancementNew feature or requestNew feature or request

Status: Open.

#133 In model-checking/cbmc-viewer;

· feliperodri opened on Nov 23, 2022

How to report coverage for function contracts replacement?

questionFurther information is requestedFurther information is requested

Status: Open.

#132 In model-checking/cbmc-viewer;

· feliperodri opened on Nov 4, 2022

Restrict coverage to reachable functions

enhancementNew feature or requestNew feature or request

Status: Open.

#69 In model-checking/cbmc-viewer;

· markrtuttle opened on Dec 7, 2021

Produce stub and missing function reports

enhancementNew feature or requestNew feature or request

Status: Open.

#63 In model-checking/cbmc-viewer;

· markrtuttle opened on Oct 20, 2021

Use pathlib Path for portability

enhancementNew feature or requestNew feature or request

Status: Open.

#62 In model-checking/cbmc-viewer;

· markrtuttle opened on Oct 20, 2021

Allow --property flag to be omitted

enhancementNew feature or requestNew feature or request

Status: Open.

#61 In model-checking/cbmc-viewer;

· markrtuttle opened on Oct 20, 2021

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

enhancementNew feature or requestNew feature or request

Status: Open.

#44 In model-checking/cbmc-viewer;

· vecchiot-aws opened on Jul 7, 2021