Revision f3d244c1
Added by Xavier Thirioux about 8 years ago
| src/backends/Horn/horn_backend_printers.ml | ||
|---|---|---|
| 193 | 193 |
(* Print the instruction and update the set of reset instances *) |
| 194 | 194 |
let rec pp_machine_instr machines reset_instances (m: machine_t) fmt instr : ident list = |
| 195 | 195 |
match instr with |
| 196 |
| MComment _ -> reset_instances |
|
| 196 | 197 |
| MNoReset i -> (* we assign middle_mem with mem_m. And declare i as reset *) |
| 197 | 198 |
pp_no_reset machines m fmt i; |
| 198 | 199 |
i::reset_instances |
Also available in: Unified diff
...