Commit a0eb9182 authored by erwan's avatar erwan
Browse files

Do not include string and stdlib header is <module>_<node>.h, but in <module>_<node>_loop.h

parent 57c9211c
(* Time-stamp: <modified the 22/09/2021 (at 11:25) by Erwan Jahier> *)
(* Time-stamp: <modified the 22/09/2021 (at 11:31) by Erwan Jahier> *)
(* let put (os: out_channel) (fmt:('a, unit, string, unit) format4) : 'a = *)
......@@ -650,6 +650,7 @@ let (gen_loop_file : string -> LicPrg.t -> Soc.t -> string -> out_channel -> Soc
putc ("
#include <stdlib.h>
#include <stdio.h>
#include <string.h>
#include <unistd.h>
#include \""^base0 ^".h\"
/* Print a promt ? ************************/
......@@ -1040,9 +1041,6 @@ typedef float _float;
gen_loop_file loopfile licprg main_soc base ocl stbl;
output_string och "
#include <stdlib.h>
#include <string.h>
#include \"lustre_consts.h\"
";
......
==> lus2lic0.sum <==
Test run by jahier on Mon Jul 5 17:32:08
Test run by jahier on Wed Sep 22 11:33:28
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 Mon Jul 5 17:32:08
Test run by jahier on Wed Sep 22 11:33:30
Native configuration is x86_64-pc-linux-gnu
=== lus2lic1 tests ===
......@@ -414,7 +414,7 @@ PASS: ./lus2lic {-2c multipar.lus -n multipar}
PASS: sh multipar.sh
==> lus2lic2.sum <==
Test run by jahier on Mon Jul 5 17:32:32
Test run by jahier on Wed Sep 22 11:33:52
Native configuration is x86_64-pc-linux-gnu
=== lus2lic2 tests ===
......@@ -754,7 +754,7 @@ PASS: sh zzz2.sh
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus {}
==> lus2lic3.sum <==
Test run by jahier on Mon Jul 5 17:33:03
Test run by jahier on Wed Sep 22 11:34:19
Native configuration is x86_64-pc-linux-gnu
=== lus2lic3 tests ===
......@@ -793,11 +793,11 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node FillFollowedByRed.
PASS: ./lus2lic {} {-lic -o Gyroscope.lic Gyroscope.lus -n Gyroscope}
PASS: ./lus2lic {-ec -o Gyroscope.ec Gyroscope.lus -n Gyroscope}
PASS: ./myec2c {-o Gyroscope.c Gyroscope.ec}
FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope.lus {}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope.lus {}
PASS: ./lus2lic {} {-lic -o Gyroscope2.lic Gyroscope2.lus -n Gyroscope2}
PASS: ./lus2lic {-ec -o Gyroscope2.ec Gyroscope2.lus -n Gyroscope2}
PASS: ./myec2c {-o Gyroscope2.c Gyroscope2.ec}
FAIL: Try to compare lus2lic -exec and ecexe: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope2.lus {}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node Gyroscope2.lus {}
PASS: ./lus2lic {} {-lic -o aa.lic aa.lus -n aa}
PASS: ./lus2lic {-ec -o aa.ec aa.lus -n aa}
PASS: ./myec2c {-o aa.c aa.ec}
......@@ -1269,7 +1269,7 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
==> lus2lic4.sum <==
Test run by jahier on Mon Jul 5 17:33:45
Test run by jahier on Wed Sep 22 11:35:01
Native configuration is x86_64-pc-linux-gnu
=== lus2lic4 tests ===
......@@ -1761,7 +1761,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 34087 {}
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus 45815 {}
=== lus2lic1 Summary ===
......@@ -1777,8 +1777,8 @@ PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus 34087
==> lus2lic3.sum <==
=== lus2lic3 Summary ===
# of expected passes 496
# of unexpected failures 5
# of expected passes 498
# of unexpected failures 3
# of unresolved testcases 1
==> lus2lic4.sum <==
......@@ -1788,15 +1788,15 @@ PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus 34087
# of expected passes 468
# of unexpected failures 6
===============================
# Total number of failures: 12
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 0 seconds
lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 24 seconds
lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 31 seconds
lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 42 seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 21 seconds
# Total number of failures: 10
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 2 seconds
lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 22 seconds
lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 27 seconds
lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 41 seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 20 seconds
* Ref time:
70.07user 16.26system 1:57.78elapsed 73%CPU (0avgtext+0avgdata 42024maxresident)k
0inputs+141784outputs (0major+8289671minor)pagefaults 0swaps
67.01user 14.41system 1:53.08elapsed 72%CPU (0avgtext+0avgdata 42044maxresident)k
0inputs+143368outputs (0major+8228338minor)pagefaults 0swaps
* Quick time (-j 4):
103.03user 21.61system 0:49.46elapsed 251%CPU (0avgtext+0avgdata 42204maxresident)k
0inputs+139656outputs (0major+8238341minor)pagefaults 0swaps
105.55user 20.62system 0:51.79elapsed 243%CPU (0avgtext+0avgdata 42016maxresident)k
5016inputs+140824outputs (5major+8137760minor)pagefaults 0swaps
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment