Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / backends.ml @ ef8a361a

History | View | Annotate | Download (478 Bytes)

1
(* Backend-specific options *)
2
let join_guards = ref true
3

    
4
let setup () =
5
  match !Options.output with
6
  | "emf" ->
7
     (* In case of a default "int" type, substitute it with the legal int32 value *)
8
     if !Options.int_type = "int" then
9
       Options.int_type := "int32"
10
  | _ -> ()
11

    
12
let is_functional () = 
13
  match !Options.output with
14
  | "horn" | "lustre" | "acsl" | "emf" -> true
15
  | _ -> false
16

    
17

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