pub fn check_circuit_non_panicking(circuit: FranklinCircuit<Engine>) -> Result<(), String> {
    let mut cs = TestConstraintSystem::<Engine>::new();
    circuit.synthesize(&mut cs).unwrap();

    println!("unconstrained: {}", cs.find_unconstrained());
    println!("number of constraints {}", cs.num_constraints());
    if let Some(err) = cs.which_is_unsatisfied() {
        Err(err.into())
    } else {
        Ok(())
    }
}
/// Verifies that circuit has no unsatisfied constraints, and returns an error otherwise.
Verifies that circuit has no unsatisfied constraints, and returns an error otherwise.
Verifies that circuit has no unsatisfied constraints and returns an error otherwise .
pub fn check_circuit_non_panicking(circuit: FranklinCircuit<Engine>) -> Result<(), String> {
    let mut cs = TestConstraintSystem::<Engine>::new();
    circuit.synthesize(&mut cs).unwrap();
    println!("unconstrained: {}", cs.find_unconstrained());
    println!("number of constraints {}", cs.num_constraints());
    if let Some(err) = cs.which_is_unsatisfied() {
        Err(err.into())
    } else {
        Ok(())
    }
}
pub fn check_circuit_non_panicking ( circuit : FranklinCircuit < Engine > ) -> Result < ( ) , String > { let mut cs = TestConstraintSystem :: < Engine > :: new ( ) ; circuit . synthesize ( & mut cs ) . unwrap ( ) ; println ! ( " " cs find_unconstrained ( ) ) ; println ! ( " " cs num_constraints ( ) ) ; if let Some ( err ) = cs . which_is_unsatisfied ( ) { Err ( err . into ( ) ) } else { Ok ( ( ) ) } }
Verifies that circuit has no unsatisfied constraints, and returns an error otherwise.
Verifies that circuit has no unsatisfied constraints and returns an error otherwise .
circuit
FranklinCircuit<Engine>