Project

General

Profile

Revision 3ca27bc7 src/backends/Horn/horn_backend_printers.ml

View differences:

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

Also available in: Unified diff