-
Notifications
You must be signed in to change notification settings - Fork 144
kani-cov is not documented #3987
Copy link
Copy link
Open
Labels
[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.
Milestone
Description
Metadata
Metadata
Assignees
Labels
[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.
#3121 introduced the
kani-covtool. We should document it so that our users know it exists and how they can use it.