kani icon indicating copy to clipboard operation
kani copied to clipboard
verified publisher icon model-checking

Create `--list-harnesses`API

Open jaisnan opened this issue 3 years ago • 0 comments

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.

jaisnan avatar Sep 01 '22 17:09 jaisnan