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