Project

General

Profile

« Previous | Next » 

Revision 42f91c0b

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

Better EMF output, solved some invalid JSON produced

View differences:

src/backends/Horn/horn_backend_printers.ml
294 294
(* Print the instruction and update the set of reset instances *)
295 295
let rec pp_machine_instr machines reset_instances (m: machine_t) fmt instr : ident list =
296 296
  match get_instr_desc instr with
297
  | MComment _ -> reset_instances
297
  | MSpec _ | MComment _ -> reset_instances
298 298
  | MNoReset i -> (* we assign middle_mem with mem_m. And declare i as reset *)
299 299
    pp_no_reset machines m fmt i;
300 300
    i::reset_instances

Also available in: Unified diff