Skip to content
Permalink
Browse files

Apply suggestions from code review

Co-Authored-By: Pratyush Mishra <pratyushmishra@berkeley.edu>
  • Loading branch information
gakonst and Pratyush committed Mar 24, 2020
1 parent 59b450f commit 5674630058833faca90b117f2a860c5380e2cff6
Showing with 6 additions and 6 deletions.
  1. +6 −6 r1cs-std/src/test_constraint_counter.rs
@@ -3,15 +3,15 @@ use algebra::Field;
use r1cs_core::{ConstraintSystem, Index, LinearCombination, SynthesisError, Variable};

/// Constraint counter for testing purposes.
pub struct TestConstraintCounter {
pub struct ConstraintCounter {
pub num_inputs: usize,
pub num_aux: usize,
pub num_constraints: usize,
}

impl TestConstraintCounter {
pub fn new() -> TestConstraintCounter {
TestConstraintCounter {
impl ConstraintCounter {
pub fn new() -> Self {
Self {
num_aux: 0,
num_inputs: 0,
num_constraints: 0,
@@ -23,7 +23,7 @@ impl TestConstraintCounter {
}
}

impl<ConstraintF: Field> ConstraintSystem<ConstraintF> for TestConstraintCounter {
impl<ConstraintF: Field> ConstraintSystem<ConstraintF> for ConstraintCounter {
type Root = Self;

fn alloc<F, A, AR>(&mut self, _: A, _: F) -> Result<Variable, SynthesisError>
@@ -114,7 +114,7 @@ mod tests {
let empty_circuit = TestCircuit::<Fq>(None);
let populated_circuit = TestCircuit(Some(Fq::from(10u32)));

let mut counter = TestConstraintCounter::new();
let mut counter = ConstraintCounter::new();
let mut cs = TestConstraintSystem::new();

empty_circuit

0 comments on commit 5674630

Please sign in to comment.
You can’t perform that action at this time.