yices2 0.1.4

Rust bindings to the Yices 2 SMT solver
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

pub use yices2_sys::*;

#[macro_export]
/// Make a call to the Yices2 API. This macro will automatically report any errors
/// that occur as an [`Error`](crate::error::Error).
macro_rules! yices_try {
    ($x:expr) => {
        unsafe {
            let res = $x;
            $crate::err!(res)
        }
    };
}

#[macro_export]
/// Make a call to the Yices2 API. This macro will automatically report any errors
/// that occur as an [`Error`](crate::error::Error), similar to [`yices_try!`](crate::yices_try!)
/// but returns immediately if there is an error.
macro_rules! yices {
    ($x:expr) => {
        unsafe {
            match $crate::yices_try!($x) {
                Ok(ok) => ok,
                Err(err) => {
                    return Err(err);
                }
            }
        }
    };
}