chore: Use Bn256/Grumpkin curves by default in proof/tests/nova_tests…

…_lem.rs
argumentcomputer · Jan 19, 2024 · 8b2669f · 8b2669f
1 parent 7ff5ae7
commit 8b2669f
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/proof/tests/nova_tests_lem.rs b/src/proof/tests/nova_tests_lem.rs
@@ -1,5 +1,5 @@
 use expect_test::expect;
-use pasta_curves::pallas::Scalar as Fr;
+use halo2curves::bn256::Fr;
 use std::{cell::RefCell, rc::Rc, sync::Arc};
 
 use crate::{
@@ -2473,12 +2473,12 @@ fn test_prove_char_num() {
 #[test]
 fn test_prove_char_coercion() {
     let s = &Store::<Fr>::default();
-    let expr = r#"(char (- 0 4294967200))"#;
-    let expr2 = r#"(char (- 0 4294967199))"#;
+    let expr = r#"(char (+ 4294967296 97))"#;
+    let expr2 = r#"(char (+ 4294967296 98))"#;
     let expected_a = s.read_with_default_state(r"#\a").unwrap();
     let expected_b = s.read_with_default_state(r"#\b").unwrap();
     let terminal = s.cont_terminal();
-    test_aux::<_, Coproc<_>>(
+    test_aux::<_, Coproc<Fr>>(
         s,
         expr,
         Some(expected_a),