mck 0.7.1

Utility crate for the formal verification tool machine-check
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

use std::fmt::Debug;

use crate::{
    abstr::combined::DomainCombination,
    misc::{BitvectorBound, MetaEq},
};

use super::CombinedBitvector;

impl<B: BitvectorBound, D: DomainCombination<B>> MetaEq for CombinedBitvector<B, D> {
    fn meta_eq(&self, other: &Self) -> bool {
        self.left.meta_eq(&other.left) && self.right.meta_eq(&other.right)
    }
}

impl<B: BitvectorBound, D: DomainCombination<B>> Debug for CombinedBitvector<B, D>
where
    D::Left: Debug,
    D::Right: Debug,
{
    fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
        std::fmt::Debug::fmt(&self.left, f)?;
        write!(f, " ∩ ")?;
        std::fmt::Debug::fmt(&self.right, f)?;
        Ok(())
    }
}