rsmt2_zz/example/
mod.rs

1//! A few examples of using rsmt2.
2
3/// Convenience macro.
4#[cfg(test)]
5macro_rules! smtry {
6    ($e:expr, failwith $( $msg:expr ),+) => (
7        match $e {
8            Ok(something) => something,
9            Err(e) => panic!( $($msg),+ , e)
10        }
11    ) ;
12}
13
14pub mod print_time;
15pub mod simple;
16
17#[cfg(test)]
18fn get_solver<Parser>(p: Parser) -> crate::Solver<Parser> {
19    match crate::Solver::default(p) {
20        Ok(solver) => solver,
21        Err(e) => panic!("Could not spawn solver solver: {:?}", e),
22    }
23}

rsmt2_zz/example/mod.rs

rsmt2_zz/example/
mod.rs