Project

General

Profile

Revision ad4774b0 src/backends/backends.ml

View differences:

src/backends/backends.ml
16 16
  | "horn" | "lustre" | "acsl" | "emf" -> true
17 17
  | _ -> false
18 18

  
19
                             
20
(* Special treatment of arrows in lustre backend. We want to keep them *)
21
let unfold_arrow () =
22
  match !Options.output with
23
  | "lustre" -> false
24
  | _ -> true
25

  
26
(* Forcing ite normalization *)
27
let alias_ite () =
28
  match !Options.output with
29
  | "emf" -> true
30
  | _ -> false
31

  
32
(* Forcing basic functions normalization *)
33
let alias_internal_fun () =
34
  match !Options.output with
35
  | "emf" -> true
36
  | _ -> false
37

  
38
let get_normalization_params () = {
39
    Normalization.unfold_arrow_active = unfold_arrow ();
40
    force_alias_ite = alias_ite ();
41
    force_alias_internal_fun = alias_internal_fun ();
42
  }
43

  
19 44

  
20 45
(* Local Variables: *)
21 46
(* compile-command: "make -k -C .." *)

Also available in: Unified diff