values: add some Eq methods

src/sim/values.rs

@@ -245,6 +245,12 @@ pub enum ScalarValue {
     Big(BigUint),
 }
 
+impl PartialEq for ScalarValue {
+    fn eq(&self, other: &Self) -> bool {
+        todo!()
+    }
+}
+
 #[derive(Debug)]
 pub enum Value {
     Scalar(ScalarValue),
@@ -260,6 +266,17 @@ impl Value {
     }
 }
 
+impl PartialEq for Value {
+    fn eq(&self, other: &Self) -> bool {
+        match (self, other) {
+            (Value::Scalar(us), Value::Scalar(other)) => us == other,
+            (Value::Array(us), Value::Array(other)) => us == other,
+            // arrays and scalars always compare as unequal
+            (_, _) => false,
+        }
+    }
+}
+
 #[derive(Debug)]
 pub enum ValueRef<'a> {
     Scalar(ScalarValueRef<'a>),
@@ -491,6 +508,13 @@ impl Clone for ArrayValue {
     }
 }
 
+impl PartialEq for ArrayValue {
+    fn eq(&self, other: &Self) -> bool {
+        todo!()
+    }
+}
+
+
 impl ArrayValue {
     pub fn new_sparse(index_tpe: Type, default: ScalarValue) -> Self {
         let index_store = smt_tpe_to_storage_tpe(index_tpe).as_scalar();