ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-26 11:45:00 +03:00
Code Issues Packages Projects Releases Wiki Activity

Prints out number of constraints from now on

Browse Source
This commit is contained in:
howardwu 2021-02-24 19:49:00 -08:00
parent 9206d55408
commit 34f5e8105d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
leo/commands/build.rs
View File

@ -134,8 +134,8 @@ impl Command for Build {
let temporary_program = program.clone(); let temporary_program = program.clone();
let output = temporary_program.compile_constraints(&mut cs)?; let output = temporary_program.compile_constraints(&mut cs)?;
tracing::debug!("Compiled constraints - {:#?}", output); tracing::info!("Compiled constraints - {:#?}", output);
tracing::debug!("Number of constraints - {:#?}", cs.num_constraints()); tracing::info!("Number of constraints - {:#?}", cs.num_constraints());
// Serialize the circuit // Serialize the circuit
let circuit_object = SerializedCircuit::from(cs); let circuit_object = SerializedCircuit::from(cs);