Function z3_sys::Z3_parse_smtlib2_file

pub unsafe extern "C" fn Z3_parse_smtlib2_file(
    c: Z3_context,
    file_name: Z3_string,
    num_sorts: c_uint,
    sort_names: *const Z3_symbol,
    sorts: *const Z3_sort,
    num_decls: c_uint,
    decl_names: *const Z3_symbol,
    decls: *const Z3_func_decl
) -> Z3_ast_vector

Similar to Z3_parse_smtlib2_string, but reads the benchmark from a file.