Project

General

Profile

Revision 1bff14ac src/backends/backends.ml

View differences:

src/backends/backends.ml
3 3

  
4 4
let setup s =
5 5
  match s with
6
  | "emf" -> join_guards := false
6
  | "emf" ->
7
     join_guards := false; (* guards should not be joined, in order to have only
8
			      if c then x = e1 else x = e2 to ease
9
			      reconstruction of flows. *)
10
    Options.optimization := 0; (* Optimization=0 prevents expression
11
				  elimination. This simplifies largely the
12
				  association of lustre expression to
13
				  instructions *)
7 14
  | _ -> ()
15

  
16
(* Local Variables: *)
17
(* compile-command: "make -k -C .." *)
18
(* End: *)

Also available in: Unified diff