|
1
|
(* Backend-specific options *)
|
|
2
|
let join_guards = ref true
|
|
3
|
|
|
4
|
let setup () =
|
|
5
|
match !Options.output with
|
|
6
|
| "emf" ->
|
|
7
|
(* Not merging branches *)
|
|
8
|
join_guards := false;
|
|
9
|
(* 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
|
| _ -> ()
|
|
13
|
|
|
14
|
let is_functional () =
|
|
15
|
match !Options.output with
|
|
16
|
| "horn" | "lustre" | "acsl" | "emf" -> true
|
|
17
|
| _ -> false
|
|
18
|
|
|
19
|
|
|
20
|
(* Local Variables: *)
|
|
21
|
(* compile-command: "make -k -C .." *)
|
|
22
|
(* End: *)
|