ll.rs

use core::ffi::c_void;

extern "C" {
    pub fn abort() -> !;
    pub fn klee_assume(cond: bool);
    pub fn klee_make_symbolic(ptr: *mut c_void, size: usize, name: *const i8);
}