wip

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