Build: use the test opam-repo for CI

.gitlab-ci.yml

@@ -11,7 +11,7 @@ stages:
 build:
   stage: build
   script:
-    - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
+    - opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test/opam-repository"
     - opam update
     - opam install -y camlp4 ocamlfind oasis extlib
     - opam install rdbg 

test/lus2lic.sum

 ==> lus2lic0.sum <==
-Test run by jahier on Wed Apr 10 10:15:00 
+Test run by jahier on Tue Apr 30 09:25:01 
 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 Wed Apr 10 10:15:01 
+Test run by jahier on Tue Apr 30 09:25:02 
 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 Wed Apr 10 10:15:27 
+Test run by jahier on Tue Apr 30 09:25:25 
 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 Wed Apr 10 10:15:55 
+Test run by jahier on Tue Apr 30 09:25:55 
 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 Wed Apr 10 10:16:35 
+Test run by jahier on Tue Apr 30 09:26:34 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic4 tests ===
@@ -1777,13 +1777,13 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
 ===============================
 # Total number of failures: 15
 lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 1 seconds
-lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 26 seconds
-lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 28 seconds
-lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 40 seconds
-lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 15 seconds
+lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 23 seconds
+lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 30 seconds
+lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 39 seconds
+lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 16 seconds
 * Ref time: 
-55.29user 23.22system 1:49.89elapsed 71%CPU (0avgtext+0avgdata 280904maxresident)k
-0inputs+143264outputs (0major+15390166minor)pagefaults 0swaps
+56.68user 19.96system 1:49.30elapsed 70%CPU (0avgtext+0avgdata 276932maxresident)k
+0inputs+143192outputs (0major+10996907minor)pagefaults 0swaps
 * Quick time (-j 4):
-63.75user 25.55system 1:10.19elapsed 127%CPU (0avgtext+0avgdata 280964maxresident)k
-3936inputs+141656outputs (1major+15214675minor)pagefaults 0swaps
+63.45user 21.52system 1:09.21elapsed 122%CPU (0avgtext+0avgdata 276588maxresident)k
+1896inputs+139552outputs (0major+10753810minor)pagefaults 0swaps