diff options
| author | Nguyễn Gia Phong <mcsinyx@disroot.org> | 2023-05-01 13:57:33 +0900 |
|---|---|---|
| committer | Nguyễn Gia Phong <mcsinyx@disroot.org> | 2023-06-22 16:13:14 +0900 |
| commit | 811921cfc620b261e4d76a8f2ccb438651f40fc7 (patch) | |
| tree | b0417071b4b290fd36dc60244a3f2ba27dfe3a65 /shell.nix | |
| parent | 8a40d5b11fc50e2f13011f6ea39b561402450d4a (diff) | |
| download | klee-811921cfc620b261e4d76a8f2ccb438651f40fc7.tar.gz | |
Half-bake decision clustering
Diffstat (limited to 'shell.nix')
| -rw-r--r-- | shell.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/shell.nix b/shell.nix index 9d361a5f..570f39bd 100644 --- a/shell.nix +++ b/shell.nix @@ -3,6 +3,8 @@ let symbdiff = callPackage ./tools/symbdiff { }; in mkShell { packages = [ clang symbdiff ]; shellHook = '' - alias klang='clang -emit-llvm -c -g -O0 -Xclang -disable-O0-optnone' + # clang -emit-llvm -c -DKLEE_RUNTIME metaprogram.c for bitcode + # clang -o metaprogram{,.c} for binary + alias clang='clang -g -O0 -Xclang -disable-O0-optnone' ''; } |