lustrec/src/backends/backends.ml @ ef8a361a
| 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: *)
|