Project

General

Profile

« Previous | Next » 

Revision 7c79dd93

Added by Pierre-Loïc Garoche over 4 years ago

[EMF] adding original name field in the JSON

View differences:

src/backends/EMF/EMF_backend.ml
379 379 
      pp_emf_vars_decl m.mstep.step_outputs
380 380 
      pp_emf_vars_decl m.mstep.step_locals
381 381 
    ;
382 
    fprintf fmt "\"original_name\": \"%s\",@ " m.mname.node_id;
382 383 
    fprintf fmt "\"instrs\": {@[<v 0> %a@]@ }"
383 384 
      (pp_emf_instrs m) instrs;
384 385 
    fprintf fmt "@]@ }"

Also available in: Unified diff