klee 3.0
Symbolic virtual machine built on top of LLVM
Linux
last changed
Pin this version
$ devbox add klee@3.0
$ nix shell github:NixOS/nixpkgs/fe4295b9ecd88764c1abf6179e03b1a828ca0e9a#klee
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
x86_64-linuxLinux · x86-64 |
klee |
fe4295b9ecd8 | out/nix/store/mf715k7yc8zkjvnb5hykw4wf4czs6mr9-klee-3.0 |