Project

General

Profile

Revision 2823bc51 src/backends/EMF/EMF_backend.ml

View differences:

src/backends/EMF/EMF_backend.ml
246 246
	 (fun fmt (tag, instrs_tag) ->
247 247
	   let (*branch_outputs*) _, branch_inputs = branch_block_vars instrs_tag in    	   
248 248
	   fprintf fmt "@[<v 2>\"%s\": {@ " tag;
249
	   fprintf fmt "\"guard_value\": \"%a\",@ " pp_tag_id tag; 
249 250
	   fprintf fmt "\"inputs\": [%a],@ " pp_emf_vars_decl (VSet.elements branch_inputs); 
250 251
	   fprintf fmt "@[<v 2>\"instrs\": {@ ";
251 252
	   fprintf_list ~sep:",@ " (pp_emf_instr m) fmt instrs_tag;

Also available in: Unified diff