mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-09-29 07:32:58 +00:00
klee: add mainProgram
This commit is contained in:
parent
0513d66f10
commit
bc9fffbb3b
@ -129,6 +129,7 @@ llvmPackages.stdenv.mkDerivation rec {
|
|||||||
};
|
};
|
||||||
|
|
||||||
meta = with lib; {
|
meta = with lib; {
|
||||||
|
mainProgram = "klee";
|
||||||
description = "Symbolic virtual machine built on top of LLVM";
|
description = "Symbolic virtual machine built on top of LLVM";
|
||||||
longDescription = ''
|
longDescription = ''
|
||||||
KLEE is a symbolic virtual machine built on top of the LLVM compiler
|
KLEE is a symbolic virtual machine built on top of the LLVM compiler
|
||||||
|
Loading…
Reference in New Issue
Block a user