List view

Generate GCOV coverage output from <code>cargo kani</code>

[C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.

T-UserTag user issues / requestsTag user issues / requests

Status: Open.

#1706 In model-checking/kani;

· allenste-aws opened on Sep 21, 2022

Documentation: Add a "Debugging coverage" section

[C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.

Status: Open.

#968 In model-checking/kani;

· adpaco-aws opened on Mar 21, 2022

Generate LCOV coverage

[C] Feature / EnhancementA new feature request or enhancement to an existing feature.A new feature request or enhancement to an existing feature.

T-UserTag user issues / requestsTag user issues / requests

Status: Open.

#1777 In model-checking/kani;

· JonathanWoollett-Light opened on Oct 12, 2022