Upgrade: the rdbg package renamed Event into RdbgEvent

lib/socExecDbg.mli

-(* Time-stamp: <modified the 10/02/2016 (at 14:34) by Erwan Jahier> *)
+(* Time-stamp: <modified the 16/03/2020 (at 11:37) by Erwan Jahier> *)
 
 
 (* The entry points for lus2licRun (i.e., for ltop/ldbg) *)
 val do_step : Soc.tbl -> Soc.t -> SocExecValue.ctx -> SocExecValue.ctx
 
-val do_step_dbg : Soc.tbl -> Soc.t -> Event.t -> SocExecValue.ctx ->
-  (Event.t -> SocExecValue.ctx -> Event.t) -> Event.t
+val do_step_dbg : Soc.tbl -> Soc.t -> RdbgEvent.t -> SocExecValue.ctx ->
+  (RdbgEvent.t -> SocExecValue.ctx -> RdbgEvent.t) -> RdbgEvent.t

test/lus2lic.sum

 ==> lus2lic0.sum <==
-Test run by jahier on Fri Mar 13 11:51:14 
+Test run by jahier on Tue Mar 17 15:59:19 
 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 Fri Mar 13 11:51:15 
+Test run by jahier on Tue Mar 17 15:59:20 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic1 tests ===
@@ -413,7 +413,7 @@ PASS: ./lus2lic  {-2c multipar.lus -n multipar}
 PASS: sh multipar.sh 
 
 ==> lus2lic2.sum <==
-Test run by jahier on Fri Mar 13 11:51:48 
+Test run by jahier on Tue Mar 17 15:59:54 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic2 tests ===
@@ -753,7 +753,7 @@ PASS: sh zzz2.sh
 PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus  {}
 
 ==> lus2lic3.sum <==
-Test run by jahier on Fri Mar 13 11:52:27 
+Test run by jahier on Tue Mar 17 16:00:36 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic3 tests ===
@@ -1267,7 +1267,7 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
 
 
 ==> lus2lic4.sum <==
-Test run by jahier on Fri Mar 13 11:53:12 
+Test run by jahier on Tue Mar 17 16:01:24 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic4 tests ===
@@ -1759,7 +1759,7 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
 # of expected failures		54
 
 ==> lus2lic1.sum <==
-PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus 33421 {}
+PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus 42945 {}
 
 		=== lus2lic1 Summary ===
 
@@ -1788,13 +1788,13 @@ PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus 33421
 ===============================
 # Total number of failures: 10
 lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 1 seconds
-lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 33 seconds
-lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 39 seconds
-lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 45 seconds
-lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 25 seconds
+lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 34 seconds
+lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 42 seconds
+lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 48 seconds
+lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 27 seconds
 * Ref time: 
-82.98user 26.19system 2:22.66elapsed 76%CPU (0avgtext+0avgdata 283996maxresident)k
-0inputs+149888outputs (0major+11433733minor)pagefaults 0swaps
+91.35user 25.60system 2:31.55elapsed 77%CPU (0avgtext+0avgdata 283744maxresident)k
+8inputs+149864outputs (0major+11398400minor)pagefaults 0swaps
 * Quick time (-j 4):
-104.96user 28.76system 1:25.60elapsed 156%CPU (0avgtext+0avgdata 283296maxresident)k
-0inputs+147480outputs (0major+11277942minor)pagefaults 0swaps
+103.77user 26.30system 1:25.06elapsed 152%CPU (0avgtext+0avgdata 283240maxresident)k
+10496inputs+147536outputs (7major+11271430minor)pagefaults 0swaps