first commit

.gitignore

+/target
+**/*.rs.bk
+Cargo.lock

Cargo.toml

+[package]
+name = "panic-klee"
+version = "0.1.0"
+authors = ["pln <Per Lindgren>"]
+edition = "2018"
+
+[dependencies]

src/lib.rs

+#![no_std]
+
+#[cfg(not(test))] // avoid warning duplicate lang-item
+#[panic_handler]
+#[inline(never)]
+fn panic(_info: &core::panic::PanicInfo) -> ! {
+    // abort symbol caught by LLVM-KLEE
+    unsafe { abort() }
+}
+
+extern "C" {
+    #[inline(always)]
+    pub fn abort() -> !;
+}