1 files changed, 0 insertions, 10 deletions
diff --git a/shell.nix b/shell.nix
deleted file mode 100644
index 8e14a489..00000000
--- a/shell.nix
+++ /dev/null
@@ -1,10 +0,0 @@
-with import <nixpkgs> {};
-let symbdiff = callPackage ./tools/symbdiff { };
-in mkShell {
-  packages = [ llvmPackages_12.clang symbdiff ];
-  shellHook = ''
-    # 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 -fsanitize=undefined -fno-sanitize=local-bounds,function,vptr'
- '';
-}