https://github.com/fd/nix-kani

Kani packaged for Nix
https://github.com/fd/nix-kani

kani nix nixos rust

Last synced: 3 months ago
JSON representation

Kani packaged for Nix

• Host: GitHub
• URL: https://github.com/fd/nix-kani
• Owner: fd
• Created: 2023-07-10T23:35:21.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2024-02-09T17:47:25.000Z (over 2 years ago)
• Last Synced: 2025-12-13T07:17:18.377Z (7 months ago)
• Topics: kani, nix, nixos, rust
• Language: Nix
• Homepage:
• Size: 640 KB
• Stars: 0
• Watchers: 1
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Kani packaged for Nix

This nix flake packages the [Kani](https://github.com/model-checking/kani) model checker.

## Installation

```bash

# 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

```

## Supported systems

- `x86_64-linux`