File tree Expand file tree Collapse file tree 1 file changed +3
-1
lines changed 
crates/bin/cairo-execute/src Expand file tree Collapse file tree 1 file changed +3
-1
lines changed Original file line number Diff line number Diff 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 ( ( ) ) 
    
 
   
 
     
   
   
          
     
  
    
     
 
    
      
     
 
     
    You can’t perform that action at this time.
  
 
    
  
     
    
      
        
     
 
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments