Project

General

Profile

Revision e4edf171 src/backends/Horn/horn_backend_common.ml

View differences:

src/backends/Horn/horn_backend_common.ml
14 14
open Machine_code_types
15 15
open Corelang
16 16

  
17
let get_machine = Machine_code_common.get_machine
18

  
17 19
let machine_reset_name id = id ^ "_reset"
18 20
let machine_step_name id = id ^ "_step" 
19 21
let machine_stateless_name id = id ^ "_fun" 
......
78 80
let rename_next = rename (fun n -> n ^ "_x")
79 81
let rename_next_list = List.map rename_next
80 82

  
81
let get_machine machines node_name =
82
(*  try *)
83
  List.find (fun m  -> m.mname.node_id = node_name) machines
84
(* with Not_found -> Format.eprintf "Unable to find machine %s in machines %a@.@?"  *)
85
(*   node_name *)
86
(*   (Utils.fprintf_list ~sep:", " (fun fmt m -> pp_print_string fmt m.mname.node_id)) machines *)
87
(*   ; assert false *)
88 83

  
89 84
let local_memory_vars machines machine =
90 85
  rename_machine_list machine.mname.node_id machine.mmemory
......
153 148
  @ (rename_mid_list (full_memory_vars machines m))
154 149

  
155 150

  
151

  
156 152
(* Local Variables: *)
157 153
(* compile-command:"make -C ../.." *)
158 154
(* End: *)

Also available in: Unified diff