Skip to content

Documentation: Add a "Debugging coverage" section #968

Open
Open
Documentation: Add a "Debugging coverage" section#968
Labels
[C] Feature / EnhancementA new feature request or enhancement to an existing feature.
Milestone
Coverage reports

Description

@adpaco
adpaco
opened on Mar 21, 2022

We should add a "Debugging failures" section where we discuss coverage, how to interpret it in traces and how to increase coverage for proofs.

Metadata

Metadata

Assignees

No one assigned

    Labels

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

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions