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 --version
x86_64-linux
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 --version
x86_64-linux