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