Fix: a bug in the rdbg plugin: event number was incremented twice at call event.

src/socExecDbg.ml

-(* Time-stamp: <modified the 10/07/2019 (at 14:14) by Erwan Jahier> *)
+(* Time-stamp: <modified the 02/08/2019 (at 13:30) by Erwan Jahier> *)
 open Soc
 open Data
 open SocExecValue
@@ -611,7 +611,6 @@ and (do_soc_step : Lxm.t -> int option -> step_method -> SocExecValue.ctx ->
       Event.sinfo = sinfo;
     }
     in
-    let ectx = Event.incr_event_nb ectx in
     let val_ctx =  { val_ctx with s = new_s } in
     (*     let (datal:Data.subst list) = get_all_subst val_ctx.s in *)
     let datal = get_input_vals val_ctx step_in_vars in   

test/lus2lic.sum

 ==> lus2lic0.sum <==
-Test run by jahier on Thu Jul 25 12:44:32 
+Test run by jahier on Fri Aug  2 13:46:08 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic0 tests ===
@@ -66,7 +66,7 @@ XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/lecte
 XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/s.lus
 
 ==> lus2lic1.sum <==
-Test run by jahier on Thu Jul 25 12:44:32 
+Test run by jahier on Fri Aug  2 13:46:09 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic1 tests ===
@@ -409,7 +409,7 @@ PASS: sh multipar.sh
 PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus  {}
 
 ==> lus2lic2.sum <==
-Test run by jahier on Thu Jul 25 12:44:53 
+Test run by jahier on Fri Aug  2 13:46:30 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic2 tests ===
@@ -749,7 +749,7 @@ PASS: sh zzz2.sh
 PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus  {}
 
 ==> lus2lic3.sum <==
-Test run by jahier on Thu Jul 25 12:45:18 
+Test run by jahier on Fri Aug  2 13:46:56 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic3 tests ===
@@ -1259,7 +1259,7 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
 
 
 ==> lus2lic4.sum <==
-Test run by jahier on Thu Jul 25 12:45:56 
+Test run by jahier on Fri Aug  2 13:47:34 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic4 tests ===
@@ -1776,14 +1776,14 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
 # of unexpected failures	18
 ===============================
 # Total number of failures: 69
-lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 0 seconds
+lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 1 seconds
 lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 21 seconds
-lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 25 seconds
+lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 26 seconds
 lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 38 seconds
-lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 13 seconds
+lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 14 seconds
 * Ref time: 
-49.98user 16.88system 1:37.56elapsed 68%CPU (0avgtext+0avgdata 273304maxresident)k
-0inputs+137464outputs (0major+10951917minor)pagefaults 0swaps
+50.69user 17.84system 1:39.60elapsed 68%CPU (0avgtext+0avgdata 273248maxresident)k
+0inputs+137480outputs (0major+10946101minor)pagefaults 0swaps
 * Quick time (-j 4):
-57.12user 18.40system 1:04.48elapsed 117%CPU (0avgtext+0avgdata 273556maxresident)k
-0inputs+137080outputs (0major+10914367minor)pagefaults 0swaps
+58.09user 19.56system 0:53.91elapsed 144%CPU (0avgtext+0avgdata 272756maxresident)k
+4872inputs+136544outputs (4major+10883627minor)pagefaults 0swaps