From e3a296be9ce3376aa501dd60eefb3d0699506aef Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Mon, 30 Dec 2019 11:51:40 +0100
Subject: [PATCH] remove panic handler (totally)

---
 src/lib.rs   | 2 --
 src/panic.rs | 6 ------
 2 files changed, 8 deletions(-)
 delete mode 100644 src/panic.rs

diff --git a/src/lib.rs b/src/lib.rs
index b72ab8c..401d045 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -8,8 +8,6 @@ pub use cstr_core::CStr;
 
 pub mod ll;
 
-// pub mod panic;
-
 #[inline(always)]
 pub fn klee_abort() -> ! {
     unsafe { ll::abort() };
diff --git a/src/panic.rs b/src/panic.rs
deleted file mode 100644
index f3d1fc3..0000000
--- a/src/panic.rs
+++ /dev/null
@@ -1,6 +0,0 @@
-#[cfg(not(test))] // avoid warning duplicate lang-item
-#[panic_handler]
-fn panic(_info: &core::panic::PanicInfo) -> ! {
-    // abort symbol caught by LLVM-KLEE
-    unsafe { crate::ll::abort() }
-}
-- 
GitLab