Fix: inline / when generating c code

src/soc2cPredef.ml

-(* Time-stamp: <modified the 10/07/2017 (at 13:12) by Erwan Jahier> *)
+(* Time-stamp: <modified the 16/05/2019 (at 09:22) by Erwan Jahier> *)
 
 (* A local exception used to check if a predef is supported. 
    The idea is that when gen_call_do is called  with empty lists,
@@ -82,6 +82,9 @@ let (gen_call_do :  Soc.key -> string list -> string list -> string) =
   | "Lustre::div",_,_    -> lstdbin "/"
   | "Lustre::idiv",_,_   -> lstdbin "/"
   | "Lustre::rdiv",_,_   -> lstdbin "/"
+  | "Lustre::slash",_,_  -> lstdbin "/"
+  | "Lustre::islash",_,_ -> lstdbin "/"
+  | "Lustre::rslash",_,_ -> lstdbin "/"
   | "Lustre::minus",_,_  -> lstdbin "-"
   | "Lustre::iminus",_,_ -> lstdbin "-"
   | "Lustre::rminus",_,_ -> lstdbin "-"

test/lus2lic.sum

 ==> lus2lic0.sum <==
-Test run by jahier on Tue Apr 30 09:25:01 
+Test run by jahier on Wed May 15 18:03:06 
 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 Tue Apr 30 09:25:02 
+Test run by jahier on Wed May 15 18:03:06 
 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 Tue Apr 30 09:25:25 
+Test run by jahier on Thu May 16 09:16:36 
 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 Tue Apr 30 09:25:55 
+Test run by jahier on Thu May 16 09:17:14 
 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 Tue Apr 30 09:26:34 
+Test run by jahier on Thu May 16 09:17:54 
 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	7
 ===============================
 # 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 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
+lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 0 seconds
+lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 54810 seconds
+lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 38 seconds
+lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 40 seconds
+lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 18 seconds
 * Ref time: 
-56.68user 19.96system 1:49.30elapsed 70%CPU (0avgtext+0avgdata 276932maxresident)k
-0inputs+143192outputs (0major+10996907minor)pagefaults 0swaps
+64.08user 21.45system 15:15:06elapsed 0%CPU (0avgtext+0avgdata 277032maxresident)k
+0inputs+143192outputs (0major+10998297minor)pagefaults 0swaps
 * Quick time (-j 4):
-63.45user 21.52system 1:09.21elapsed 122%CPU (0avgtext+0avgdata 276588maxresident)k
-1896inputs+139552outputs (0major+10753810minor)pagefaults 0swaps
+59.54user 19.53system 1:06.89elapsed 118%CPU (0avgtext+0avgdata 276536maxresident)k
+0inputs+141296outputs (0major+10861295minor)pagefaults 0swaps