Fix start step to not always be zero

This commit is contained in:
Collin Jackson 2024-09-05 12:41:34 -07:00
parent 606fa96989
commit 8d5d708466

View File

@ -135,8 +135,7 @@ async fn main() {
let total_steps = tr.steps(); let total_steps = tr.steps();
println!("Program trace {} steps", total_steps); println!("Program trace {} steps", total_steps);
let start: usize = 0; let start: usize = match to_prove.step_to_start {
match to_prove.step_to_start {
Some(step) => step as usize, Some(step) => step as usize,
None => 0, None => 0,
}; };