essential-constraint-vm 0.6.0

The Essential constraint checking VM
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

use essential_types::Word;

use crate::{error::OpError, OpResult};

/// Helper macro for creating a vector of `Op`s.
macro_rules! ops {
    ($($op:expr),* $(,)?) => {
        vec![$(Op::from($op)),*]
    };
}

pub(super) use ops;

/// Assert that the result is ok and that the stack equals the expected value.
pub(super) fn assert_stack_ok(expected: &[Word]) -> impl Fn(OpResult<Vec<Word>>) {
    let expected = expected.to_vec();
    move |r| assert_eq!(*r.as_ref().unwrap(), expected, "{:?}", r)
}

pub(super) fn assert_err_inner(f: impl Fn(&OpError) -> bool) -> impl Fn(OpResult<Vec<Word>>) {
    move |r| assert!(f(r.as_ref().unwrap_err()), "{:?}", r)
}

/// Helper macro for asserting that the result is the expected error.
macro_rules! assert_err {
    ($pat:pat) => {
        $crate::access::test_utils::assert_err_inner(|e| matches!(e, $pat))
    };
}

pub(super) use assert_err;