refactor: change the name of a dev CLI option (-2cmct -> -2cmtt)

lib/lic2soc.ml

-(** Time-stamp: <modified the 02/09/2024 (at 14:09) by Erwan Jahier> *)
+(** Time-stamp: <modified the 02/09/2024 (at 14:51) by Erwan Jahier> *)
 
 (* XXX ce module est mal crit. A reprendre. (R1) *)
 
@@ -790,7 +790,7 @@ let (is_a_task : bool -> Lxm.t -> bool) =
     | Pragma(_,_)::pl -> f pl
   in
   if Lv6MainArgs.global_opt.Lv6MainArgs.multi_task_top then
-    toplevel_node
+    toplevel_node || f (Lxm.pragma lxm)
   else if Lv6MainArgs.global_opt.Lv6MainArgs.multi_task then
     f (Lxm.pragma lxm)
   else

lib/lv6MainArgs.ml

-(* Time-stamp: <modified the 09/07/2024 (at 11:41) by Erwan Jahier> *)
+(* Time-stamp: <modified the 02/09/2024 (at 14:48) 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,
@@ -562,7 +562,7 @@ let mkoptab (opt:t) : unit = (
     ["Generate a main file for computing the wcet (force -2c -2cgc)"]
   ;
   mkopt opt ~doc_level:Dev
-    ["-2cmc";"--2c-multi-core";"-2cmt";"--2c-multi-task"]
+    ["-2cmt";"--2c-multi-task"]
     (Arg.Unit (fun () ->
          set_c_options opt;
          global_opt.io_transmit_mode <- Ctx;
@@ -570,15 +570,15 @@ let mkoptab (opt:t) : unit = (
     ["Set on the multi-task code generation mode (nodes with the %MT:t% pragma are tasks)"]
   ;
   mkopt opt ~doc_level:Dev
-    ["-2cmct";"--2c-multi-task-top"]
+    ["-2cmtt";"--2c-multi-task-toplevel"]
     (Arg.Unit (fun () ->
          set_c_options opt;
          global_opt.io_transmit_mode <- Ctx;
          global_opt.multi_task <- true;
-         global_opt.multi_task_top <- true;))
-    ["All node calls in the main node are put in a task"]
+         global_opt.multi_task_top <- true;
+       ))
+    ["Set on the multi-task code generation mode and consider all top-level nodes as tasks"]
   ;
-
   mkopt opt ~doc_level:Advanced
     ["-2c-ioa";"--2c-io-in-args"]
     (Arg.Unit (fun () -> set_c_options opt; global_opt.io_transmit_mode <- Args))