List view

Improve tests for coverage

[C] InternalTracks some internal work. I.e.: Users should not be affected.Tracks some internal work. I.e.: Users should not be affected.

Status: Open.

#2635 In model-checking/kani;

· adpaco-aws opened on Jul 28, 2023

Create user-friendly output for coverage

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

Status: Open.

#2636 In model-checking/kani;

· adpaco-aws opened on Jul 28, 2023

Export coverage results to a well-supported output

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

Status: Open.

#2638 In model-checking/kani;

· adpaco-aws opened on Jul 28, 2023

Avoid confusing results in coverage reports

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

Status: Open.

#2639 In model-checking/kani;

· adpaco-aws opened on Jul 28, 2023

Report source-based coverage results

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

Status: Open.

#2640 In model-checking/kani;

· adpaco-aws opened on Jul 28, 2023

Create a tool for aggregating coverage results

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

Status: Open.

#2641 In model-checking/kani;

· adpaco-aws opened on Jul 28, 2023

Investigate how coverage checks affect performance

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

Status: Open.

#2642 In model-checking/kani;

· adpaco-aws opened on Jul 28, 2023

Generate GCOV coverage output from cargo kani

[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

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

Adding support for code 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.

#2795 In model-checking/kani;

· mahircg-aws opened on Sep 29, 2023

Standalone assert statements lose information when converted to the irep format

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

Status: Open.

Bug

#3012 In model-checking/kani;

· adpaco-aws opened on Feb 8, 2024

Kani crashes when coverage is enabled and an unwind assertion fails

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

Status: Open.

Bug

#3070 In model-checking/kani;

· zhassan-aws opened on Mar 11, 2024

Rust's coverage instrumentation assumes function calls never panic

[C] BugThis is a bug. Something isn't working.This is a bug. Something isn't working.

[F] SoundnessKani failed to detect an issueKani failed to detect an issue

Z-UnstableFeatureIssues that only occur if a unstable feature is enabledIssues that only occur if a unstable feature is enabled

Status: Open.

Bug

#3441 In model-checking/kani;

· adpaco-aws opened on Aug 15, 2024

Coverage metadata should include mappings for all source code

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

[E] User ExperienceAn UX enhancement for an existing feature. Including deprecation of an existing one.An UX enhancement for an existing feature. Including deprecation of an existing one.

Status: Open.

#3445 In model-checking/kani;

· adpaco-aws opened on Aug 16, 2024

Filenames stored in raw coverage results should be absolute

[C] InternalTracks some internal work. I.e.: Users should not be affected.Tracks some internal work. I.e.: Users should not be affected.

Status: Open.

#3542 In model-checking/kani;

· adpaco-aws opened on Sep 23, 2024

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

Automatically check test coverage, and block PRs that decrease coverage.

[C] InternalTracks some internal work. I.e.: Users should not be affected.Tracks some internal work. I.e.: Users should not be affected.

Status: Open.

#888 In model-checking/kani;

· danielsn opened on Mar 4, 2022

kani-cov is not documented

[C] DocumentationAdditions and improvements to our documentationAdditions and improvements to our documentation

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

Status: Open.

#3987 In model-checking/kani;

· carolynzech opened on Apr 3, 2025