Skip to content

Commit

Permalink
change log text
Browse files Browse the repository at this point in the history
  • Loading branch information
zemse committed Dec 28, 2024
1 parent e015da0 commit 6236012
Showing 1 changed file with 6 additions and 11 deletions.
17 changes: 6 additions & 11 deletions ceno_zkvm/src/scheme/mock_prover.rs
Original file line number Diff line number Diff line change
Expand Up @@ -841,7 +841,7 @@ Hints:
});
if is_opcode {
tracing::info!(
"mock proving opcode {} with {} entries",
"Mock proving opcode {} with {} entries",
circuit_name,
num_rows
);
Expand All @@ -861,17 +861,15 @@ Hints:
Some(&mut lkm_opcodes),
);
match errors {
Ok(_) => {
tracing::info!("mock proving successful for opcode {}", circuit_name);
}
Ok(_) => {}
Err(errors) => {
tracing::error!("mock proving failed for opcode {}", circuit_name);
tracing::error!("Mock proving failed for opcode {}", circuit_name);
print_errors(&errors, &witness, &cs.witin_namespace_map, true);
}
}
} else {
tracing::info!(
"processing table {} with {} entries",
"Mock proving table {} with {} entries",
circuit_name,
num_rows
);
Expand Down Expand Up @@ -919,12 +917,9 @@ Hints:
compare_lkm(lkm_tables, lkm_opcodes, &mut errors);

if errors.is_empty() {
tracing::info!("mock proving successful for combined lkm");
tracing::info!("Mock proving successful for tables");
} else {
tracing::error!(
"mock proving failed for combined lkm - {} errors",
errors.len()
);
tracing::error!("Mock proving failed for tables - {} errors", errors.len());
print_errors(&errors, &[], &[], true);
}

Expand Down

0 comments on commit 6236012

Please sign in to comment.