Revision 3ca27bc7 src/backends/Horn/horn_backend_printers.ml
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