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