Project

General

Profile

Revision 76c7023b src/corelang.ml

View differences:

src/corelang.ml
504 504
 List.find (fun v -> v.var_id = id) var_list
505 505

  
506 506
let get_node_var id node =
507
  get_var id (get_node_vars node)
508

  
507
  try
508
    get_var id (get_node_vars node)
509
  with Not_found -> begin
510
    Format.eprintf "Unable to find variable %s in node %s@.@?" id node.node_id;
511
    raise Not_found
512
  end
513
    
509 514
let get_node_eqs =
510 515
  let get_eqs stmts =
511 516
    List.fold_right
......
1030 1035
let copy_prog top_list =
1031 1036
  List.map copy_top top_list
1032 1037

  
1038
let functional_backend () = 
1039
  match !Options.output with
1040
  | "horn" | "lustre" | "acsl" -> true
1041
  | _ -> false
1042

  
1033 1043
(* Local Variables: *)
1034 1044
(* compile-command:"make -C .." *)
1035 1045
(* End: *)

Also available in: Unified diff