fix: put back a (dummy) get_string in the main loop (used for abstract type)

lib/soc2c.ml

-(* Time-stamp: <modified the 27/04/2022 (at 17:32) by Erwan Jahier> *)
+(* Time-stamp: <modified the 06/05/2022 (at 10:29) by Erwan Jahier> *)
 
 
 (* let put (os: out_channel) (fmt:('a, unit, string, unit) format4) : 'a = *)
@@ -688,9 +688,15 @@ void _read_pragma("^ (
    if (!strcmp(b,\"#q\")) exit(0);"^
            (if SocUtils.is_memory_less soc then "" else "
    if (!strcmp(b,\"#reset\")) "^ctx^"_reset(ctx);
-")^"   return;
+")^"
+}
+char* _get_string("^(
+             if SocUtils.is_memory_less soc then "" else
+               ctx^"_type* ctx,"
+           ) ^"char* n){
+   static char b[10] = \"dummy\";
+   return b;
 }
-
 /* Standard Input procedures **************/
 _boolean _get_bool("^(
              if SocUtils.is_memory_less soc then "" else

test/lus2lic.sum

 ==> lus2lic0.sum <==
-Test run by jahier on Thu May  5 15:59:53 
+Test run by jahier on Thu May  5 17:35:18 
 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 May  5 15:59:54 
+Test run by jahier on Thu May  5 17:35:19 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic1 tests ===
@@ -621,7 +621,7 @@ PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus  {}
 PASS: /home/jahier/lus2lic/test/../utils/compare_lv6_and_lv6_en multipar.lus {}
 
 ==> lus2lic2.sum <==
-Test run by jahier on Thu May  5 16:04:08 
+Test run by jahier on Thu May  5 17:39:31 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic2 tests ===
@@ -1165,7 +1165,7 @@ PASS: /home/jahier/lus2lic/test/../utils/compare_lv6_and_lv6_en zzz2.lus {}
 PASS: /home/jahier/lus2lic/test/../utils/compare_gcc_and_clang zzz2.lus {}
 
 ==> lus2lic3.sum <==
-Test run by jahier on Thu May  5 16:08:58 
+Test run by jahier on Thu May  5 17:44:13 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic3 tests ===
@@ -1677,7 +1677,7 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
 
 
 ==> lus2lic4.sum <==
-Test run by jahier on Thu May  5 16:09:55 
+Test run by jahier on Thu May  5 17:45:12 
 Native configuration is x86_64-pc-linux-gnu
 
 		=== lus2lic4 tests ===
@@ -2200,11 +2200,11 @@ PASS: /home/jahier/lus2lic/test/../utils/compare_gcc_and_clang multipar.lus {}
 ===============================
 # Total number of failures: 19
 lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 1 seconds
-lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 254 seconds
-lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 290 seconds
-lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 57 seconds
-lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 40 seconds
+lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 252 seconds
+lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 282 seconds
+lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 59 seconds
+lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 43 seconds
 * Ref time: 
-221.42user 66.79system 10:42.45elapsed 44%CPU (0avgtext+0avgdata 77980maxresident)k
-24336inputs+449736outputs (52major+19311559minor)pagefaults 0swaps
+210.80user 71.32system 10:37.07elapsed 44%CPU (0avgtext+0avgdata 77252maxresident)k
+197768inputs+409560outputs (560major+21705367minor)pagefaults 0swaps
 * Quick time (-j 4):