| 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: *)
|