wip

privacy-scaling-explorations · May 17, 2024 · 80731d7 · 80731d7
1 parent 04dbd38
commit 80731d7
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/halo2_frontend/src/circuit/value.rs b/halo2_frontend/src/circuit/value.rs
@@ -697,3 +697,18 @@ impl<F: Field> Value<Assigned<F>> {
         }
     }
 }
+
+#[cfg(test)]
+mod test {
+    use super::*;
+    type V = Value<u64>;
+    fn assert_eq(a: V, b: V) {
+        assert_eq!(a.inner, b.inner);
+    }
+
+    #[test]
+    fn test_check_inits() {
+        assert_eq!(V::unknown().inner, None);
+        assert_eq(V::default(),V::unknown());
+    }
+}