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

Call Kani over a single harness in VSCode

Open jaisnan opened this issue 3 years ago • 1 comments

Requested feature: Call Kani over single harness with a button click in VSCode and display the results in the VSCode terminal or output channel.

jaisnan avatar Aug 22 '22 15:08 jaisnan

Relevant PR is in the extension repo.

jaisnan avatar Sep 13 '22 15:09 jaisnan