Method eq

src/analysis/memory/symbolic_value.rs:46–52

(&self, other: &Self)

impl PartialEq for SymbolicValue {
    fn eq(&self, other: &Self) -> bool {
        match (&self.expression, &other.expression) {
            // Assume widened values are equal
            (Expression::Widen { path: p1, .. }, Expression::Widen { path: p2, .. }) => p1.eq(p2),
            (e1, e2) => e1.eq(e2),
        }
    }
}

/// An abstract domain element that all represent the impossible concrete value.