test/unwrap_value: escape Value safety in the dev module (#34)

Co-authored-by: Aurélien Nicolas <info@nau.re>

halo2_proofs/src/circuit.rs

@@ -12,6 +12,7 @@ use crate::{
 };
 
 mod value;
+pub(crate) use value::value_dev;
 pub use value::Value;
 
 pub mod floor_planner;

halo2_proofs/src/circuit/value.rs

@@ -701,3 +701,10 @@ impl<F: Field> Value<Assigned<F>> {
         }
     }
 }
+
+/// Utilities for tests and dev tools.
+pub mod value_dev {
+    pub fn unwrap_value<T>(v: super::Value<T>) -> T {
+        v.inner.unwrap()
+    }
+}

halo2_proofs/src/dev.rs

@@ -51,6 +51,8 @@ mod graph;
 #[cfg_attr(docsrs, doc(cfg(feature = "dev-graph")))]
 pub use graph::{circuit_dot_graph, layout::CircuitLayout};
 
+pub use crate::circuit::value_dev::unwrap_value;
+
 #[derive(Debug)]
 struct Region {
     /// The name of the region. Not required to be unique.