Skip to content

Commit 0d32bf8

Browse files
Print memory size when profiling.
1 parent 2431967 commit 0d32bf8

File tree

1 file changed

+3
-1
lines changed
  • crates/bin/cairo-execute/src

1 file changed

+3
-1
lines changed

crates/bin/cairo-execute/src/main.rs

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -254,10 +254,11 @@ fn main() -> anyhow::Result<()> {
254254
};
255255

256256
let trace_enabled = args.profile || args.run.proof_outputs.trace_file.is_some();
257+
let relocate_mem = args.profile || args.run.proof_outputs.memory_file.is_some();
257258

258259
let cairo_run_config = CairoRunConfig {
259260
trace_enabled,
260-
relocate_mem: args.run.proof_outputs.memory_file.is_some(),
261+
relocate_mem,
261262
layout: args.run.layout,
262263
dynamic_layout_params,
263264
proof_mode: args.run.standalone,
@@ -341,6 +342,7 @@ fn main() -> anyhow::Result<()> {
341342
);
342343
let processed_profiling_info = profiling_processor.process_ex(&info, &Default::default());
343344
println!("{processed_profiling_info}");
345+
println!("Memory size: {}", runner.relocated_memory.len());
344346
}
345347

346348
Ok(())

0 commit comments

Comments
 (0)