Skip to content
Snippets Groups Projects
Commit 45b91f4d authored by erwan's avatar erwan
Browse files

add a -rte cli option

parent 8f54a0e2
No related branches found
No related tags found
No related merge requests found
(* Time-stamp: <modified the 16/06/2023 (at 09:39) by Erwan Jahier> *)
(* Time-stamp: <modified the 16/11/2023 (at 12:24) by Erwan Jahier> *)
(*
Le manager d'argument adapt de celui de lutin, plus joli
N.B. solution un peu batarde : les options sont stockes, comme avant, dans Global,
......@@ -52,6 +52,7 @@ type global_opt = {
mutable dir : string;
mutable gen_c_inline_predef : bool;
mutable lv4 : bool;
mutable rte : bool;
mutable kcg : bool;
mutable ec : bool;
mutable gen_autotest : bool;
......@@ -84,6 +85,7 @@ let (global_opt:global_opt) =
gen_c_inline_predef = true;
gen_autotest = false;
lv4 = false;
rte = false;
kcg = false;
ec = false;
one_op_per_equation = true;
......@@ -436,6 +438,11 @@ let mkoptab (opt:t) : unit = (
(Arg.Unit (fun _ -> set_v4_options opt))
["deprecated: generate Lustre V4 code (force '-ei -ee -esa')"]
;
mkopt opt ~doc_level:Advanced
["-rte"; "--runtime-error"]
(Arg.Unit (fun _ -> global_opt.rte <- true; set_v4_options opt))
["Generate kind2 contracts to check for runtime errors"]
;
mkopt opt ~doc_level:Dev
["-kcg"; "--generate-scade-lustre"]
(Arg.Unit (fun _ ->
......
(* Time-stamp: <modified the 09/06/2023 (at 11:06) by Erwan Jahier> *)
(* Time-stamp: <modified the 16/11/2023 (at 12:25) by Erwan Jahier> *)
type enum_mode =
AsInt (* translate enums into int (for rif-friendlyness *)
......@@ -57,6 +57,7 @@ type global_opt = {
mutable dir : string;
mutable gen_c_inline_predef : bool;
mutable lv4 : bool;
mutable rte : bool;
mutable kcg : bool;
mutable ec : bool;
mutable gen_autotest : bool;
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment