Project

General

Profile

« Previous | Next » 

Revision c226a3ba

Added by Lélio Brun over 3 years ago

start generating ACSL spec

View differences:

src/backends/C/c_backend_main.ml
85 85 
               pp_machine_static_alloc_name mname
86 86 
           else
87 87 
             fprintf fmt "%a *main_mem = %a();"
88 
               pp_machine_memtype_name mname
88 
               (pp_machine_memtype_name ~ghost:false) mname
89 89 
               pp_machine_alloc_name mname) ()
90 90 
        pp_machine_reset_name mname
91 91 
        main_mem

Also available in: Unified diff