Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / backends.ml @ bdc471f3

History | View | Annotate | Download (537 Bytes)

1 37419cf4 ploc
(* Backend-specific options *)
2
let join_guards = ref true
3
4 13507742 ploc
let setup () =
5
  match !Options.output with
6 ef8a361a ploc
  | "emf" ->
7 43b5fabc ploc
     (* Not merging branches *)
8
     join_guards := false;
9 ef8a361a ploc
     (* In case of a default "int" type, substitute it with the legal int32 value *)
10
     if !Options.int_type = "int" then
11
       Options.int_type := "int32"
12 37419cf4 ploc
  | _ -> ()
13 1bff14ac ploc
14 13507742 ploc
let is_functional () = 
15
  match !Options.output with
16
  | "horn" | "lustre" | "acsl" | "emf" -> true
17
  | _ -> false
18
19 ef8a361a ploc
20 1bff14ac ploc
(* Local Variables: *)
21
(* compile-command: "make -k -C .." *)
22
(* End: *)