Skip to content

Create --list-harnessesAPI #1612

@jaisnan

Description

@jaisnan

The VSCode extension needs a --list-harnesses flag from Kani which gives a list of the metadata on all present harnesses in a crate. While this API is intended to be consumed by the VSCode extension, there could be other uses for it too.

Metadata

Metadata

Labels

Z-IDE ExtensionIssues related to IDE Ext development

Type

No type

Projects

Relationships

None yet

Development

No branches or pull requests

Issue actions