Kani Extension for verify-rust-std

[QinyuanWu]

I'm trying to use the kani vscode extension to verify contracts and proofs in the verify-rust-std repository. Does the extension work with this type of folder structure right now? I tried to open couple rust files(library/core/src/ptr/non_null.rs) inside the repo that contains contracts and proofs but I don't see the Test pop up on the left and there is an error message saying that kani could not detect the crate. Thanks!

[jaisnan]

Hi, thanks for using the extension. It does not work on the verify repo yet, because it needs the workspace to be a complete cargo project in order to work. A fix for this is currently underway.

Thanks for reporting the issue :)

[QinyuanWu]

Great! Do you have an estimated timeline of when the fix will be released?

[jaisnan]

I cannot give an ECD, but I am currently working on this so I will keep you in the loop and comment on this issue whenever I have updates. Stay tuned here.

[QinyuanWu]

Got it thank you Jaisurya! Appreciate your work^_^