kure2_sys/
lib.rs

1#![allow(non_upper_case_globals)]
2#![allow(non_camel_case_types)]
3#![allow(non_snake_case)]
4#![allow(rustdoc::broken_intra_doc_links)]
5#![allow(clippy::all)]
6
7use cudd2_sys::*;
8use gmp_mpfr_sys::gmp::mpz_t as __mpz_struct;
9use kure2_lua_sys::*;
10use libc::*;
11
12include!(concat!(env!("OUT_DIR"), "/bindings.rs"));
13
14#[cfg(test)]
15mod tests {
16    use crate::{
17        kure_context_deref, kure_context_destroy, kure_context_get_error, kure_context_new,
18        kure_context_ref, kure_lua_destroy, kure_lua_new,
19    };
20
21    #[test]
22    fn test_create_destroy_context() {
23        unsafe {
24            let context = kure_context_new();
25            assert!(!context.is_null());
26
27            let error = kure_context_get_error(context);
28            assert!(error.is_null());
29
30            kure_context_destroy(context);
31        }
32    }
33
34    #[test]
35    fn test_create_destroy_lua_state() {
36        unsafe {
37            let context = kure_context_new();
38            assert!(!context.is_null());
39            kure_context_ref(context);
40
41            let lua_state = kure_lua_new(context);
42            assert!(!lua_state.is_null());
43
44            let error = kure_context_get_error(context);
45            assert!(error.is_null());
46
47            kure_lua_destroy(lua_state);
48            kure_context_deref(context);
49        }
50    }
51}