Merge branch 'lem_div' of github.com:lurk-lab/lurk-rs into lem_div

argumentcomputer · Aug 18, 2023 · 30a08e4 · 30a08e4
2 parents b98904b + 09a39fa
commit 30a08e4
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/circuit/gadgets/constraints.rs b/src/circuit/gadgets/constraints.rs
@@ -1318,7 +1318,7 @@ mod tests {
     }
 
     #[test]
-    fn test_enforce_u64() {
+    fn test_implies_u64_positive() {
         let mut cs = TestConstraintSystem::<Fr>::new();
 
         let alloc_num = AllocatedNum::alloc(&mut cs.namespace(|| "num"), || {
@@ -1332,10 +1332,11 @@ mod tests {
     }
 
     #[test]
-    fn test_enforce_u64_negative() {
+    fn test_implies_u64_negative() {
         let mut cs = TestConstraintSystem::<Fr>::new();
 
         let alloc_num = AllocatedNum::alloc(&mut cs.namespace(|| "num"), || {
+            // Edge case: 2ˆ64 = 18446744073709551616
             Ok(Fr::from_str_vartime("18446744073709551616").unwrap())
         })
         .unwrap();