Function boolector_sys::boolector_parse
source · pub unsafe extern "C" fn boolector_parse(
btor: *mut Btor,
infile: *mut FILE,
infile_name: *const c_char,
outfile: *mut FILE,
error_msg: *mut *mut c_char,
status: *mut i32,
parsed_smt2: *mut bool
) -> i32