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