Attempt to speed up circuit tests
@@ -25,8 +25,12 @@ pub fn check_circuit_non_panicking(circuit: ZkSyncCircuit<Engine>) -> Result<(),
let mut cs = TestConstraintSystem::<Engine>::new();
circuit.synthesize(&mut cs).unwrap();
- println!("unconstrained: {}", cs.find_unconstrained());
- println!("number of constraints {}", cs.num_constraints());
+ // Notes for future us: these lines may be helpful when updating circuits.
+ // They don't test anything, but show the info about the circuit (which pubdata is not constrained
+ // and how many constraints do we have)
+ // println!("unconstrained: {}", cs.find_unconstrained());
+ // println!("number of constraints {}", cs.num_constraints());
+
if let Some(err) = cs.which_is_unsatisfied() {
Err(err.into())
} else {
