test: try Fp::from negative values

zBlock-2 · Feb 20, 2024 · 6be1277 · 6be1277
1 parent 8c43b54
commit 6be1277
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/zk_prover/src/chips/range/tests.rs b/zk_prover/src/chips/range/tests.rs
@@ -272,6 +272,18 @@ mod testing {
         );
     }
 
+    /* #[test]
+    // test converting negative value to Fp for use in range_check chip
+    fn test_negative_value() {
+        let a = Fp::from(-1i8);
+        /* 
+          the trait bound `halo2_proofs::halo2curves::bn256::Fr: From<i8>` is not satisfied
+          the following other types implement trait `From<T>`:
+            <halo2_proofs::halo2curves::bn256::Fr as From<bool>>
+            <halo2_proofs::halo2curves::bn256::Fr as From<u64>>
+        */
+    } */
+
     #[cfg(feature = "dev-graph")]
     #[test]
     fn print_range_check_test() {