test_augmented_circuit_size should check synthesis works

lurk-lang · Mar 3, 2024 · 836aedd · 836aedd
1 parent 002384c
commit 836aedd
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/cyclefold/nova_circuit.rs b/src/cyclefold/nova_circuit.rs
@@ -669,7 +669,9 @@ mod test {
     );
     let mut cs: TestShapeCS<Dual<E>> = TestShapeCS::default();
 
-    let _ = circuit.synthesize(&mut cs);
+    let res = circuit.synthesize(&mut cs);
+
+    res.unwrap();
 
     let num_constraints = cs.num_constraints();
     let num_variables = cs.num_aux();