You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

10 lines
371 B

  1. for i in `seq 3 5`
  2. do
  3. for j in `seq $i 5`
  4. do
  5. NUM_VARIABLES=$(echo 10^$i | bc)
  6. NUM_CONSTRAINTS=$(echo 10^$j | bc)
  7. sed "s/NUM_VARIABLES_TEMPLATE/$NUM_VARIABLES/g;s/NUM_CONSTRAINTS_TEMPLATE/$NUM_CONSTRAINTS/g" complex-circuit.circom.template > complex-circuit-$NUM_VARIABLES-$NUM_CONSTRAINTS.circom
  8. ./build.sh $NUM_VARIABLES $NUM_CONSTRAINTS
  9. done
  10. done