This nix flake packages the Kani model checker.
# Install kani and all its dependencies
nix profile install github:fd/nix-kani
# No need to run `kani setup` as it is not necessary under nix.
cargo kani --versionx86_64-linux
-
Notifications
You must be signed in to change notification settings - Fork 0
fd/nix-kani
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Kani packaged for Nix
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published