Revert "bug fix"

This reverts commit ecffff3.

Author: Jérôme FERET

core/KaSa_rep/frontend/diff.ml

@@ -494,8 +494,6 @@ let get_new_indexs parameters errors handler c_compil =
   let next_nr_predicates = Handler.get_nr_guard_parameters handler in
   let dual = handler.Cckappa_sig.dual in
   let next_agent = Handler.nagents parameters errors handler in
-  let () = Loggers.fprintf (Remanent_parameters.get_logger parameters) "NEXT AGENT %i" (Ckappa_sig.int_of_agent_name next_agent) in 
-  let () = Loggers.print_newline (Remanent_parameters.get_logger parameters) in 
   let new_indexs =
     {
       next_rule = Ckappa_sig.rule_id_of_int n;

core/KaSa_rep/more_datastructures/int_storage.ml

@@ -155,7 +155,7 @@ module Int_storage_imperatif :
     let error, dimension = dimension parameters error array in
     if dimension < size then (
       let error, array' = create parameters error size in
-      let _ = Array.blit array.array 0 array'.array 0 (dimension+1) in
+      let _ = Array.blit array.array 0 array'.array 0 dimension in
       error, array'
     ) else
       error, { array = Array.sub array.array 0 (size + 1); size }

core/KaSa_rep/reachability_analysis/agents_domain.ml

@@ -366,16 +366,6 @@ module Domain = struct
               parameters error (nagents_int - 1) (fun _ error _ ->
                 error, mvbdu_false)
         in
-        let () = Loggers.fprintf (Remanent_parameters.get_logger parameters) "INIT ITER" in  
-        let () = Loggers.print_newline (Remanent_parameters.get_logger parameters) in 
-        let error = 
-          Ckappa_sig.Agent_type_nearly_Inf_Int_storage_Imperatif.iter 
-            parameters error
-            ( fun _ error i _ -> 
-                Loggers.fprintf (Remanent_parameters.get_logger parameters) "%i" 
-                (Ckappa_sig.int_of_agent_name i); Loggers.print_newline (Remanent_parameters.get_logger parameters); 
-                error) init_seen_agents_array
-            in 
         let init_global_dynamic_information =
           {
             agents_liveness = init_seen_agents_array;
@@ -389,50 +379,19 @@ module Domain = struct
         let next_agent =
           Ckappa_sig.int_of_agent_name new_elts.Diff.next_agent
         in
-        let () = Loggers.fprintf (Remanent_parameters.get_logger parameters) "UPDATE ITER %i" next_agent in  
-        let () = Loggers.print_newline (Remanent_parameters.get_logger parameters) in 
-      
         let bdu_handler = Analyzer_headers.get_mvbdu_handler dynamic in
         let error, bdu_handler, mvbdu_false =
           Ckappa_sig.Views_bdu.mvbdu_false parameters bdu_handler error
         in
-         let () = Loggers.fprintf (Remanent_parameters.get_logger parameters) "BEFORE"  in  
-        let () = Loggers.print_newline (Remanent_parameters.get_logger parameters) in 
-      
-         let error = 
-          Ckappa_sig.Agent_type_nearly_Inf_Int_storage_Imperatif.iter 
-            parameters error
-            ( fun _ error i _ -> 
-                Loggers.fprintf (Remanent_parameters.get_logger parameters) "%i" 
-                (Ckappa_sig.int_of_agent_name i); Loggers.print_newline (Remanent_parameters.get_logger parameters); 
-                error) local.agents_liveness 
-            in 
         let dynamic = Analyzer_headers.set_mvbdu_handler bdu_handler dynamic in
         let error, init_dead_agent_array =
           Ckappa_sig.Agent_type_nearly_Inf_Int_storage_Imperatif.expand_and_copy
             parameters error local.agents_liveness (nagents_int - 1)
         in
-          let () = Loggers.fprintf (Remanent_parameters.get_logger parameters) "AFTER"  in  
-        let () = Loggers.print_newline (Remanent_parameters.get_logger parameters) in 
-      
-         let error = 
-          Ckappa_sig.Agent_type_nearly_Inf_Int_storage_Imperatif.iter 
-            parameters error
-            ( fun _ error i _ -> 
-                Loggers.fprintf (Remanent_parameters.get_logger parameters) "%i" 
-                (Ckappa_sig.int_of_agent_name i); Loggers.print_newline (Remanent_parameters.get_logger parameters); 
-                error) init_dead_agent_array 
-            in 
         let rec aux (k : int) (error, array) =
           if k < next_agent then
             error, array
           else
-            let () = 
-              Loggers.fprintf 
-                (Remanent_parameters.get_logger parameters) 
-                "INIT AGENT %i" k 
-          in 
-            let () = Loggers.print_newline (Remanent_parameters.get_logger parameters)  in 
             aux (k - 1)
               (Ckappa_sig.Agent_type_nearly_Inf_Int_storage_Imperatif.set
                  parameters error