pub type __int32_t = ::std::os::raw::c_int;
pub type __uint32_t = ::std::os::raw::c_uint;
pub type __int64_t = ::std::os::raw::c_long;
pub type __off_t = ::std::os::raw::c_long;
pub type __off64_t = ::std::os::raw::c_long;
pub type size_t = ::std::os::raw::c_ulong;
pub type FILE = _IO_FILE;
#[repr(C)]
#[derive(Debug, Copy, Clone)]
pub struct _IO_marker {
_unused: [u8; 0],
}
#[repr(C)]
#[derive(Debug, Copy, Clone)]
pub struct _IO_codecvt {
_unused: [u8; 0],
}
#[repr(C)]
#[derive(Debug, Copy, Clone)]
pub struct _IO_wide_data {
_unused: [u8; 0],
}
pub type _IO_lock_t = ::std::os::raw::c_void;
#[repr(C)]
#[derive(Debug, Copy, Clone)]
pub struct _IO_FILE {
pub _flags: ::std::os::raw::c_int,
pub _IO_read_ptr: *mut ::std::os::raw::c_char,
pub _IO_read_end: *mut ::std::os::raw::c_char,
pub _IO_read_base: *mut ::std::os::raw::c_char,
pub _IO_write_base: *mut ::std::os::raw::c_char,
pub _IO_write_ptr: *mut ::std::os::raw::c_char,
pub _IO_write_end: *mut ::std::os::raw::c_char,
pub _IO_buf_base: *mut ::std::os::raw::c_char,
pub _IO_buf_end: *mut ::std::os::raw::c_char,
pub _IO_save_base: *mut ::std::os::raw::c_char,
pub _IO_backup_base: *mut ::std::os::raw::c_char,
pub _IO_save_end: *mut ::std::os::raw::c_char,
pub _markers: *mut _IO_marker,
pub _chain: *mut _IO_FILE,
pub _fileno: ::std::os::raw::c_int,
pub _flags2: ::std::os::raw::c_int,
pub _old_offset: __off_t,
pub _cur_column: ::std::os::raw::c_ushort,
pub _vtable_offset: ::std::os::raw::c_schar,
pub _shortbuf: [::std::os::raw::c_char; 1usize],
pub _lock: *mut _IO_lock_t,
pub _offset: __off64_t,
pub _codecvt: *mut _IO_codecvt,
pub _wide_data: *mut _IO_wide_data,
pub _freeres_list: *mut _IO_FILE,
pub _freeres_buf: *mut ::std::os::raw::c_void,
pub __pad5: size_t,
pub _mode: ::std::os::raw::c_int,
pub _unused2: [::std::os::raw::c_char; 20usize],
}
#[test]
fn bindgen_test_layout__IO_FILE() {
assert_eq!(
::std::mem::size_of::<_IO_FILE>(),
216usize,
concat!("Size of: ", stringify!(_IO_FILE))
);
assert_eq!(
::std::mem::align_of::<_IO_FILE>(),
8usize,
concat!("Alignment of ", stringify!(_IO_FILE))
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._flags as *const _ as usize },
0usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_flags)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._IO_read_ptr as *const _ as usize },
8usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_IO_read_ptr)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._IO_read_end as *const _ as usize },
16usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_IO_read_end)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._IO_read_base as *const _ as usize },
24usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_IO_read_base)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._IO_write_base as *const _ as usize },
32usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_IO_write_base)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._IO_write_ptr as *const _ as usize },
40usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_IO_write_ptr)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._IO_write_end as *const _ as usize },
48usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_IO_write_end)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._IO_buf_base as *const _ as usize },
56usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_IO_buf_base)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._IO_buf_end as *const _ as usize },
64usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_IO_buf_end)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._IO_save_base as *const _ as usize },
72usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_IO_save_base)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._IO_backup_base as *const _ as usize },
80usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_IO_backup_base)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._IO_save_end as *const _ as usize },
88usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_IO_save_end)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._markers as *const _ as usize },
96usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_markers)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._chain as *const _ as usize },
104usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_chain)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._fileno as *const _ as usize },
112usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_fileno)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._flags2 as *const _ as usize },
116usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_flags2)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._old_offset as *const _ as usize },
120usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_old_offset)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._cur_column as *const _ as usize },
128usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_cur_column)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._vtable_offset as *const _ as usize },
130usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_vtable_offset)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._shortbuf as *const _ as usize },
131usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_shortbuf)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._lock as *const _ as usize },
136usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_lock)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._offset as *const _ as usize },
144usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_offset)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._codecvt as *const _ as usize },
152usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_codecvt)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._wide_data as *const _ as usize },
160usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_wide_data)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._freeres_list as *const _ as usize },
168usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_freeres_list)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._freeres_buf as *const _ as usize },
176usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_freeres_buf)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>())).__pad5 as *const _ as usize },
184usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(__pad5)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._mode as *const _ as usize },
192usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_mode)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<_IO_FILE>()))._unused2 as *const _ as usize },
196usize,
concat!(
"Offset of field: ",
stringify!(_IO_FILE),
"::",
stringify!(_unused2)
)
);
}
extern "C" {
pub fn fclose(__stream: *mut FILE) -> ::std::os::raw::c_int;
}
extern "C" {
pub fn fopen(
__filename: *const ::std::os::raw::c_char,
__modes: *const ::std::os::raw::c_char,
) -> *mut FILE;
}
#[repr(C)]
#[derive(Debug, Copy, Clone)]
pub struct Btor2Parser {
_unused: [u8; 0],
}
pub const Btor2Tag_BTOR2_TAG_add: Btor2Tag = 0;
pub const Btor2Tag_BTOR2_TAG_and: Btor2Tag = 1;
pub const Btor2Tag_BTOR2_TAG_bad: Btor2Tag = 2;
pub const Btor2Tag_BTOR2_TAG_concat: Btor2Tag = 3;
pub const Btor2Tag_BTOR2_TAG_const: Btor2Tag = 4;
pub const Btor2Tag_BTOR2_TAG_constraint: Btor2Tag = 5;
pub const Btor2Tag_BTOR2_TAG_constd: Btor2Tag = 6;
pub const Btor2Tag_BTOR2_TAG_consth: Btor2Tag = 7;
pub const Btor2Tag_BTOR2_TAG_dec: Btor2Tag = 8;
pub const Btor2Tag_BTOR2_TAG_eq: Btor2Tag = 9;
pub const Btor2Tag_BTOR2_TAG_fair: Btor2Tag = 10;
pub const Btor2Tag_BTOR2_TAG_iff: Btor2Tag = 11;
pub const Btor2Tag_BTOR2_TAG_implies: Btor2Tag = 12;
pub const Btor2Tag_BTOR2_TAG_inc: Btor2Tag = 13;
pub const Btor2Tag_BTOR2_TAG_init: Btor2Tag = 14;
pub const Btor2Tag_BTOR2_TAG_input: Btor2Tag = 15;
pub const Btor2Tag_BTOR2_TAG_ite: Btor2Tag = 16;
pub const Btor2Tag_BTOR2_TAG_justice: Btor2Tag = 17;
pub const Btor2Tag_BTOR2_TAG_mul: Btor2Tag = 18;
pub const Btor2Tag_BTOR2_TAG_nand: Btor2Tag = 19;
pub const Btor2Tag_BTOR2_TAG_neq: Btor2Tag = 20;
pub const Btor2Tag_BTOR2_TAG_neg: Btor2Tag = 21;
pub const Btor2Tag_BTOR2_TAG_next: Btor2Tag = 22;
pub const Btor2Tag_BTOR2_TAG_nor: Btor2Tag = 23;
pub const Btor2Tag_BTOR2_TAG_not: Btor2Tag = 24;
pub const Btor2Tag_BTOR2_TAG_one: Btor2Tag = 25;
pub const Btor2Tag_BTOR2_TAG_ones: Btor2Tag = 26;
pub const Btor2Tag_BTOR2_TAG_or: Btor2Tag = 27;
pub const Btor2Tag_BTOR2_TAG_output: Btor2Tag = 28;
pub const Btor2Tag_BTOR2_TAG_read: Btor2Tag = 29;
pub const Btor2Tag_BTOR2_TAG_redand: Btor2Tag = 30;
pub const Btor2Tag_BTOR2_TAG_redor: Btor2Tag = 31;
pub const Btor2Tag_BTOR2_TAG_redxor: Btor2Tag = 32;
pub const Btor2Tag_BTOR2_TAG_rol: Btor2Tag = 33;
pub const Btor2Tag_BTOR2_TAG_ror: Btor2Tag = 34;
pub const Btor2Tag_BTOR2_TAG_saddo: Btor2Tag = 35;
pub const Btor2Tag_BTOR2_TAG_sdiv: Btor2Tag = 36;
pub const Btor2Tag_BTOR2_TAG_sdivo: Btor2Tag = 37;
pub const Btor2Tag_BTOR2_TAG_sext: Btor2Tag = 38;
pub const Btor2Tag_BTOR2_TAG_sgt: Btor2Tag = 39;
pub const Btor2Tag_BTOR2_TAG_sgte: Btor2Tag = 40;
pub const Btor2Tag_BTOR2_TAG_slice: Btor2Tag = 41;
pub const Btor2Tag_BTOR2_TAG_sll: Btor2Tag = 42;
pub const Btor2Tag_BTOR2_TAG_slt: Btor2Tag = 43;
pub const Btor2Tag_BTOR2_TAG_slte: Btor2Tag = 44;
pub const Btor2Tag_BTOR2_TAG_sort: Btor2Tag = 45;
pub const Btor2Tag_BTOR2_TAG_smod: Btor2Tag = 46;
pub const Btor2Tag_BTOR2_TAG_smulo: Btor2Tag = 47;
pub const Btor2Tag_BTOR2_TAG_sra: Btor2Tag = 48;
pub const Btor2Tag_BTOR2_TAG_srem: Btor2Tag = 49;
pub const Btor2Tag_BTOR2_TAG_srl: Btor2Tag = 50;
pub const Btor2Tag_BTOR2_TAG_ssubo: Btor2Tag = 51;
pub const Btor2Tag_BTOR2_TAG_state: Btor2Tag = 52;
pub const Btor2Tag_BTOR2_TAG_sub: Btor2Tag = 53;
pub const Btor2Tag_BTOR2_TAG_uaddo: Btor2Tag = 54;
pub const Btor2Tag_BTOR2_TAG_udiv: Btor2Tag = 55;
pub const Btor2Tag_BTOR2_TAG_uext: Btor2Tag = 56;
pub const Btor2Tag_BTOR2_TAG_ugt: Btor2Tag = 57;
pub const Btor2Tag_BTOR2_TAG_ugte: Btor2Tag = 58;
pub const Btor2Tag_BTOR2_TAG_ult: Btor2Tag = 59;
pub const Btor2Tag_BTOR2_TAG_ulte: Btor2Tag = 60;
pub const Btor2Tag_BTOR2_TAG_umulo: Btor2Tag = 61;
pub const Btor2Tag_BTOR2_TAG_urem: Btor2Tag = 62;
pub const Btor2Tag_BTOR2_TAG_usubo: Btor2Tag = 63;
pub const Btor2Tag_BTOR2_TAG_write: Btor2Tag = 64;
pub const Btor2Tag_BTOR2_TAG_xnor: Btor2Tag = 65;
pub const Btor2Tag_BTOR2_TAG_xor: Btor2Tag = 66;
pub const Btor2Tag_BTOR2_TAG_zero: Btor2Tag = 67;
#[doc = " BTOR2 tags can be used for fast(er) traversal and operations on BTOR2"]
#[doc = " format lines, e.g., in a switch statement in client code."]
#[doc = " Alternatively, client code can use the name of the BTOR2 tag, which is a C"]
#[doc = " string (redundantly) contained in the format line. Note that this requires"]
#[doc = " string comparisons and is therefore slower even if client code uses an"]
#[doc = " additional hash table."]
pub type Btor2Tag = ::std::os::raw::c_uint;
pub const Btor2SortTag_BTOR2_TAG_SORT_array: Btor2SortTag = 0;
pub const Btor2SortTag_BTOR2_TAG_SORT_bitvec: Btor2SortTag = 1;
pub type Btor2SortTag = ::std::os::raw::c_uint;
#[repr(C)]
#[derive(Copy, Clone)]
pub struct Btor2Sort {
pub id: i64,
pub tag: Btor2SortTag,
pub name: *const ::std::os::raw::c_char,
pub __bindgen_anon_1: Btor2Sort__bindgen_ty_1,
}
#[repr(C)]
#[derive(Copy, Clone)]
pub union Btor2Sort__bindgen_ty_1 {
pub array: Btor2Sort__bindgen_ty_1__bindgen_ty_1,
pub bitvec: Btor2Sort__bindgen_ty_1__bindgen_ty_2,
_bindgen_union_align: [u64; 2usize],
}
#[repr(C)]
#[derive(Debug, Copy, Clone)]
pub struct Btor2Sort__bindgen_ty_1__bindgen_ty_1 {
pub index: i64,
pub element: i64,
}
#[test]
fn bindgen_test_layout_Btor2Sort__bindgen_ty_1__bindgen_ty_1() {
assert_eq!(
::std::mem::size_of::<Btor2Sort__bindgen_ty_1__bindgen_ty_1>(),
16usize,
concat!(
"Size of: ",
stringify!(Btor2Sort__bindgen_ty_1__bindgen_ty_1)
)
);
assert_eq!(
::std::mem::align_of::<Btor2Sort__bindgen_ty_1__bindgen_ty_1>(),
8usize,
concat!(
"Alignment of ",
stringify!(Btor2Sort__bindgen_ty_1__bindgen_ty_1)
)
);
assert_eq!(
unsafe {
&(*(::std::ptr::null::<Btor2Sort__bindgen_ty_1__bindgen_ty_1>())).index as *const _
as usize
},
0usize,
concat!(
"Offset of field: ",
stringify!(Btor2Sort__bindgen_ty_1__bindgen_ty_1),
"::",
stringify!(index)
)
);
assert_eq!(
unsafe {
&(*(::std::ptr::null::<Btor2Sort__bindgen_ty_1__bindgen_ty_1>())).element as *const _
as usize
},
8usize,
concat!(
"Offset of field: ",
stringify!(Btor2Sort__bindgen_ty_1__bindgen_ty_1),
"::",
stringify!(element)
)
);
}
#[repr(C)]
#[derive(Debug, Copy, Clone)]
pub struct Btor2Sort__bindgen_ty_1__bindgen_ty_2 {
pub width: u32,
}
#[test]
fn bindgen_test_layout_Btor2Sort__bindgen_ty_1__bindgen_ty_2() {
assert_eq!(
::std::mem::size_of::<Btor2Sort__bindgen_ty_1__bindgen_ty_2>(),
4usize,
concat!(
"Size of: ",
stringify!(Btor2Sort__bindgen_ty_1__bindgen_ty_2)
)
);
assert_eq!(
::std::mem::align_of::<Btor2Sort__bindgen_ty_1__bindgen_ty_2>(),
4usize,
concat!(
"Alignment of ",
stringify!(Btor2Sort__bindgen_ty_1__bindgen_ty_2)
)
);
assert_eq!(
unsafe {
&(*(::std::ptr::null::<Btor2Sort__bindgen_ty_1__bindgen_ty_2>())).width as *const _
as usize
},
0usize,
concat!(
"Offset of field: ",
stringify!(Btor2Sort__bindgen_ty_1__bindgen_ty_2),
"::",
stringify!(width)
)
);
}
#[test]
fn bindgen_test_layout_Btor2Sort__bindgen_ty_1() {
assert_eq!(
::std::mem::size_of::<Btor2Sort__bindgen_ty_1>(),
16usize,
concat!("Size of: ", stringify!(Btor2Sort__bindgen_ty_1))
);
assert_eq!(
::std::mem::align_of::<Btor2Sort__bindgen_ty_1>(),
8usize,
concat!("Alignment of ", stringify!(Btor2Sort__bindgen_ty_1))
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Sort__bindgen_ty_1>())).array as *const _ as usize },
0usize,
concat!(
"Offset of field: ",
stringify!(Btor2Sort__bindgen_ty_1),
"::",
stringify!(array)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Sort__bindgen_ty_1>())).bitvec as *const _ as usize },
0usize,
concat!(
"Offset of field: ",
stringify!(Btor2Sort__bindgen_ty_1),
"::",
stringify!(bitvec)
)
);
}
#[test]
fn bindgen_test_layout_Btor2Sort() {
assert_eq!(
::std::mem::size_of::<Btor2Sort>(),
40usize,
concat!("Size of: ", stringify!(Btor2Sort))
);
assert_eq!(
::std::mem::align_of::<Btor2Sort>(),
8usize,
concat!("Alignment of ", stringify!(Btor2Sort))
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Sort>())).id as *const _ as usize },
0usize,
concat!(
"Offset of field: ",
stringify!(Btor2Sort),
"::",
stringify!(id)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Sort>())).tag as *const _ as usize },
8usize,
concat!(
"Offset of field: ",
stringify!(Btor2Sort),
"::",
stringify!(tag)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Sort>())).name as *const _ as usize },
16usize,
concat!(
"Offset of field: ",
stringify!(Btor2Sort),
"::",
stringify!(name)
)
);
}
#[repr(C)]
#[derive(Copy, Clone)]
pub struct Btor2Line {
pub id: i64,
pub lineno: i64,
pub name: *const ::std::os::raw::c_char,
pub tag: Btor2Tag,
pub sort: Btor2Sort,
pub init: i64,
pub next: i64,
pub constant: *mut ::std::os::raw::c_char,
pub symbol: *mut ::std::os::raw::c_char,
pub nargs: u32,
pub args: *mut i64,
}
#[test]
fn bindgen_test_layout_Btor2Line() {
assert_eq!(
::std::mem::size_of::<Btor2Line>(),
120usize,
concat!("Size of: ", stringify!(Btor2Line))
);
assert_eq!(
::std::mem::align_of::<Btor2Line>(),
8usize,
concat!("Alignment of ", stringify!(Btor2Line))
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Line>())).id as *const _ as usize },
0usize,
concat!(
"Offset of field: ",
stringify!(Btor2Line),
"::",
stringify!(id)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Line>())).lineno as *const _ as usize },
8usize,
concat!(
"Offset of field: ",
stringify!(Btor2Line),
"::",
stringify!(lineno)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Line>())).name as *const _ as usize },
16usize,
concat!(
"Offset of field: ",
stringify!(Btor2Line),
"::",
stringify!(name)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Line>())).tag as *const _ as usize },
24usize,
concat!(
"Offset of field: ",
stringify!(Btor2Line),
"::",
stringify!(tag)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Line>())).sort as *const _ as usize },
32usize,
concat!(
"Offset of field: ",
stringify!(Btor2Line),
"::",
stringify!(sort)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Line>())).init as *const _ as usize },
72usize,
concat!(
"Offset of field: ",
stringify!(Btor2Line),
"::",
stringify!(init)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Line>())).next as *const _ as usize },
80usize,
concat!(
"Offset of field: ",
stringify!(Btor2Line),
"::",
stringify!(next)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Line>())).constant as *const _ as usize },
88usize,
concat!(
"Offset of field: ",
stringify!(Btor2Line),
"::",
stringify!(constant)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Line>())).symbol as *const _ as usize },
96usize,
concat!(
"Offset of field: ",
stringify!(Btor2Line),
"::",
stringify!(symbol)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Line>())).nargs as *const _ as usize },
104usize,
concat!(
"Offset of field: ",
stringify!(Btor2Line),
"::",
stringify!(nargs)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2Line>())).args as *const _ as usize },
112usize,
concat!(
"Offset of field: ",
stringify!(Btor2Line),
"::",
stringify!(args)
)
);
}
#[repr(C)]
#[derive(Debug, Copy, Clone)]
pub struct Btor2LineIterator {
pub reader: *mut Btor2Parser,
pub next: i64,
}
#[test]
fn bindgen_test_layout_Btor2LineIterator() {
assert_eq!(
::std::mem::size_of::<Btor2LineIterator>(),
16usize,
concat!("Size of: ", stringify!(Btor2LineIterator))
);
assert_eq!(
::std::mem::align_of::<Btor2LineIterator>(),
8usize,
concat!("Alignment of ", stringify!(Btor2LineIterator))
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2LineIterator>())).reader as *const _ as usize },
0usize,
concat!(
"Offset of field: ",
stringify!(Btor2LineIterator),
"::",
stringify!(reader)
)
);
assert_eq!(
unsafe { &(*(::std::ptr::null::<Btor2LineIterator>())).next as *const _ as usize },
8usize,
concat!(
"Offset of field: ",
stringify!(Btor2LineIterator),
"::",
stringify!(next)
)
);
}
extern "C" {
pub fn btor2parser_new() -> *mut Btor2Parser;
}
extern "C" {
pub fn btor2parser_delete(arg1: *mut Btor2Parser);
}
extern "C" {
pub fn btor2parser_read_lines(arg1: *mut Btor2Parser, arg2: *mut FILE) -> i32;
}
extern "C" {
pub fn btor2parser_error(arg1: *mut Btor2Parser) -> *const ::std::os::raw::c_char;
}
extern "C" {
pub fn btor2parser_iter_init(bfr: *mut Btor2Parser) -> Btor2LineIterator;
}
extern "C" {
pub fn btor2parser_iter_next(arg1: *mut Btor2LineIterator) -> *mut Btor2Line;
}
extern "C" {
pub fn btor2parser_max_id(arg1: *mut Btor2Parser) -> i64;
}
extern "C" {
pub fn btor2parser_get_line_by_id(arg1: *mut Btor2Parser, id: i64) -> *mut Btor2Line;
}