Commit e3a296be authored by Per's avatar Per

remove panic handler (totally)

parent e742e3f7
......@@ -8,8 +8,6 @@ pub use cstr_core::CStr;
pub mod ll;
// pub mod panic;
#[inline(always)]
pub fn klee_abort() -> ! {
unsafe { ll::abort() };
......
#[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() }
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment