fix display of stats

Author: TomWambsgans

crates/lean_prover/src/prove_execution.rs

@@ -50,7 +50,7 @@ pub fn prove_execution(
                 bytecode,
                 (public_input, private_input),
                 no_vec_runtime_memory,
-                (vm_profiler, false),
+                (vm_profiler, true),
                 (poseidons_16_precomputed, poseidons_24_precomputed),
             )
         });

crates/lean_prover/tests/hash_chain.rs

@@ -69,7 +69,7 @@ fn benchmark_poseidon_chain() {
         &bytecode,
         (&public_input, &private_input),
         1 << (3 + LOG_CHAIN_LENGTH),
-        (false, true),
+        (false, false),
         (&vec![], &vec![]),
     )
     .no_vec_runtime_memory;

crates/rec_aggregation/src/recursion.rs

@@ -189,7 +189,7 @@ fn run_recursion_benchmark() -> RecursionBenchStats {
         &bytecode,
         (&public_input, &[]),
         1 << 20,
-        (false, true),
+        (false, false),
         (&vec![], &vec![]),
     )
     .no_vec_runtime_memory;

crates/rec_aggregation/src/xmss_aggregate.rs

@@ -267,7 +267,7 @@ pub fn run_xmss_benchmark(n_xmss: usize) -> XmssBenchStats {
         &bytecode,
         (&public_input, &private_input),
         1 << 21,
-        (false, true),
+        (false, false),
         (&vec![], &vec![]),
     )
     .no_vec_runtime_memory;