Project

General

Profile

Revision 264a4844 src/machine_code.ml

View differences:

src/machine_code.ml
156 156

  
157 157
(* Returns the declared stateless status and the computed one. *)
158 158
let get_stateless_status m =
159
 (m.mname.node_dec_stateless, Utils.desome m.mname.node_stateless)
159
 (m.mname.node_dec_stateless, try Utils.desome m.mname.node_stateless with _ -> failwith ("stateless status of machine " ^ m.mname.node_id ^ " not computed"))
160 160

  
161 161
let is_input m id =
162 162
  List.exists (fun o -> o.var_id = id.var_id) m.mstep.step_inputs

Also available in: Unified diff