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