Skip to content

RFC: Output - Harness listing/enumeration #2573

@adpaco-aws

Description

@adpaco-aws

Requested feature: A section of our output dedicated to enumerating or listing harnesses found in a project, how many will run for verification, etc. This is likely a requirement for #2563 , which will be an attempt to represent multi-harness progress.
Use case: Multi-harness verification - Nowadays users don't get any feedback about which harnesses are run or in which order.
Link to relevant documentation (Rust reference, Nomicon, RFC): #2563

Metadata

Metadata

Labels

T-RFCLabel RFC PRs and Issues[C] Feature / EnhancementA new feature request or enhancement to an existing feature.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions