P

panic-klee

KLEE panic handler, binds to LLVM abort.