From 1d1a2993fd243dcd97a71bc51cbf7ba4eae1b8eb Mon Sep 17 00:00:00 2001
From: adria0 <adria0@nowhere>
Date: Fri, 17 May 2024 10:54:32 +0200
Subject: [PATCH] wip

---
 halo2_frontend/src/circuit/value.rs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/halo2_frontend/src/circuit/value.rs b/halo2_frontend/src/circuit/value.rs
index e0426f6bfa..0eae892e83 100644
--- 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());
+    }
+}