Revision 76c7023b
Added by Pierre-Loïc Garoche about 5 years ago
| 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
functional_backend function moved to corelang