Project

General

Profile

« Previous | Next » 

Revision 6d1693b9

Added by LĂ©lio Brun 7 months ago

work on spec generation almost done

View differences:

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

  
93 93
  let print_global_initialize fmt basename =

Also available in: Unified diff