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
fd/nix-kani
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|