Skip to content

Commit

Permalink
program-table: put back example parameters
Browse files Browse the repository at this point in the history
  • Loading branch information
Aurélien Nicolas committed Sep 11, 2024
1 parent 3eeb0f7 commit 1750502
Showing 1 changed file with 9 additions and 3 deletions.
12 changes: 9 additions & 3 deletions ceno_zkvm/examples/riscv_add.rs
Original file line number Diff line number Diff line change
Expand Up @@ -66,7 +66,6 @@ fn main() {
.with(
fmt::layer()
.compact()
.without_time()
.with_thread_ids(false)
.with_thread_names(false),
)
Expand Down Expand Up @@ -103,8 +102,15 @@ fn main() {
let prover = ZKVMProver::new(pk);
let verifier = ZKVMVerifier::new(vk);

// for instance_num_vars in 8..22 { // TODO: restore.
for instance_num_vars in 2..3 {
#[cfg(debug_assertions)]
let max_instance_num_vars = {
tracing::info!("debug mode, testing only the smallest instance");
9
};
#[cfg(not(debug_assertions))]
let max_instance_num_vars = 22;

for instance_num_vars in 8..max_instance_num_vars {
let num_instances = 1 << instance_num_vars;
let mut vm = VMState::new(CENO_PLATFORM);
let pc_start = ByteAddr(CENO_PLATFORM.pc_start()).waddr();
Expand Down

0 comments on commit 1750502

Please sign in to comment.