owi 0.2.0

Bindings to the C symbolic API of the owi bug finding tool
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
31
32
33
34
35

use crate::Symbolic;

pub trait Harnessable {
    type Ret;
    fn run(self) -> Self::Ret;
}

pub fn execute_symbolically<F: Harnessable>(f: F) -> F::Ret {
    f.run()
}

macro_rules! impl_harnessable_arity {
    ($($name:ident)+) => {
        impl<$($name: Symbolic + core::fmt::Debug,)+ Ret> Harnessable for fn($($name,)+) -> Ret {
            type Ret = Ret;

            fn run(self) -> Self::Ret {
                (self)($($name::symbol(),)+)
            }
        }
    };
}

impl_harnessable_arity!(A);
impl_harnessable_arity!(A B);
impl_harnessable_arity!(A B C);
impl_harnessable_arity!(A B C D);
impl_harnessable_arity!(A B C D E);
impl_harnessable_arity!(A B C D E F);
impl_harnessable_arity!(A B C D E F G);
impl_harnessable_arity!(A B C D E F G H);
impl_harnessable_arity!(A B C D E F G H I);
impl_harnessable_arity!(A B C D E F G H I J);
impl_harnessable_arity!(A B C D E F G H I J K);
impl_harnessable_arity!(A B C D E F G H I J K L);