Revision 2823bc51
Added by Pierre-Loïc Garoche about 6 years ago
| 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
Proper integer index for enumerated branches