model-checking
Windows support
It would be nice if Kani worked on Windows. Also you should probably say somewhere near the start of the Readme or book that it doesn't.
Great point about the docs. I thought it was more prominent... but it's only in the installation instructions. I'll fix that.
Windows support isn't something the Kani team is currently prioritizing, but we'd definitely be happy to merge support if someone out there is motivated to add it.
We're quite interested in seeing Kani used more, of course, so if there are big application domains out there that would like to use Kani but consider lack of windows support a blocker, we'd like to hear about it.
@Timmmm, can you please provide some more details on what you mean by "Windows support"? Kani can be used on Windows using WSL. Is there something platform specific you are looking for?
It's a reasonable workaround given that Kani doesn't support Windows but I meant native support.
What about crates using windows dependency or function with cfg(windows, can it still be verified using WSL ?
While you may be able to run Kani, I'd suspect you'd get limited verification value as we do not provide models of various Windows API functions.
