Skip to content
Snippets Groups Projects
Commit 860de7d7 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

nonreg tests: performs the test on bauges (X2 speed up)

parent d31eaad2
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
test/Makefile
+ 15
− 6
View file @ 860de7d7
# to run the test, one needs to (apt-get) install:
# dejagnu tcl tcllib
test: ltop clean reftest lus2lic.time test: ltop clean reftest lus2lic.time
TEST_MACHINE=grivola TEST_MACHINE=bauges
# This fixes sporadic memory errors I get when running tests # This fixes sporadic memory errors I get when running tests
OCAMLRUNPARAM=s=1M,i=32M,o=150 OCAMLRUNPARAM=s=1M,i=32M,o=150
...@@ -59,19 +61,23 @@ utest: ...@@ -59,19 +61,23 @@ utest:
# reftest isslower than qtest, but less sensible to the load of the machine (wrt time measurements) # reftest isslower than qtest, but less sensible to the load of the machine (wrt time measurements)
reftest: reftest:
rm -f $(LOG) rm -f $(LOG)
make tmpdirs ssh $(TEST_MACHINE) "cd $(testdir); make tmpdirs"
time -o lus2lic.ref_time make $(LOG) time -o lus2lic.ref_time make $(LOG)
make lus2lic.time make lus2lic.time
qtest: qtest:
rm -f $(LOG) rm -f $(LOG)
make tmpdirs ssh $(TEST_MACHINE) "cd $(testdir); make tmpdirs"
time -o lus2lic.quick_time make -j 4 $(LOG) time -o lus2lic.quick_time make -j 8 $(LOG)
cat lus2lic.quick_time cat lus2lic.quick_time
make lus2lic.time make lus2lic.time
ltmpdirs:
[ -d /tmp/lus2lic-test ] || mkdir /tmp/lus2lic-test
[ -d /tmp/lus2lic-test-tmp1 ] || mkdir /tmp/lus2lic-test-tmp1
[ -d /tmp/lus2lic-test-tmp2 ] || mkdir /tmp/lus2lic-test-tmp2
tmpdirs: tmpdirs: ltmpdirs
[ -d tmp ] || mkdir tmp [ -d tmp ] || mkdir tmp
[ -d tmp1 ] || mkdir tmp1 [ -d tmp1 ] || mkdir tmp1
[ -d tmp2 ] || mkdir tmp2 [ -d tmp2 ] || mkdir tmp2
...@@ -125,7 +131,10 @@ progression: ...@@ -125,7 +131,10 @@ progression:
ssh $(TEST_MACHINE) "cd $(testdir); runtest --tool lus2lic progression.exp" || true ssh $(TEST_MACHINE) "cd $(testdir); runtest --tool lus2lic progression.exp" || true
clean: lclean tmpdirs
local_clean: lclean tmpdirs
clean:
ssh $(TEST_MACHINE) "cd $(testdir); make local_clean"
lclean: lclean:
rm -f *.ec *.lus *.lut *.cov *.gp *.rif *.out *.cov *.c *.h *.log *.sum *time rm -f *.ec *.lus *.lut *.cov *.gp *.rif *.out *.cov *.c *.h *.log *.sum *time
rm -rf Data rm -rf Data
......
test/lus2lic.sum
+ 20
− 20
View file @ 860de7d7
==> lus2lic0.sum <== ==> lus2lic0.sum <==
Test Run By jahier on Fri Sep 5 16:29:28 Test Run By jahier on Tue Sep 9 14:57:59
Native configuration is i686-pc-linux-gnu Native configuration is x86_64-unknown-linux-gnu
=== lus2lic0 tests === === lus2lic0 tests ===
...@@ -63,8 +63,8 @@ XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/lecte ...@@ -63,8 +63,8 @@ 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 XFAIL: Test bad programs (assert): test_lus2lic_no_node should_fail/assert/s.lus
==> lus2lic1.sum <== ==> lus2lic1.sum <==
Test Run By jahier on Fri Sep 5 16:29:32 Test Run By jahier on Tue Sep 9 14:58:00
Native configuration is i686-pc-linux-gnu Native configuration is x86_64-unknown-linux-gnu
=== lus2lic1 tests === === lus2lic1 tests ===
...@@ -394,8 +394,8 @@ PASS: gcc -o multipar.exec multipar_multipar.c multipar_multipar_loop.c ...@@ -394,8 +394,8 @@ PASS: gcc -o multipar.exec multipar_multipar.c multipar_multipar_loop.c
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus {} PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c multipar.lus {}
==> lus2lic2.sum <== ==> lus2lic2.sum <==
Test Run By jahier on Fri Sep 5 16:30:14 Test Run By jahier on Tue Sep 9 14:58:19
Native configuration is i686-pc-linux-gnu Native configuration is x86_64-unknown-linux-gnu
=== lus2lic2 tests === === lus2lic2 tests ===
...@@ -714,8 +714,8 @@ PASS: ./lus2lic {-2c zzz2.lus -n zzz2} ...@@ -714,8 +714,8 @@ PASS: ./lus2lic {-2c zzz2.lus -n zzz2}
PASS: gcc -o zzz2.exec zzz2_zzz2.c zzz2_zzz2_loop.c PASS: gcc -o zzz2.exec zzz2_zzz2.c zzz2_zzz2_loop.c
==> lus2lic3.sum <== ==> lus2lic3.sum <==
Test Run By jahier on Fri Sep 5 16:31:31 Test Run By jahier on Tue Sep 9 14:59:15
Native configuration is i686-pc-linux-gnu Native configuration is x86_64-unknown-linux-gnu
=== lus2lic3 tests === === lus2lic3 tests ===
...@@ -1213,8 +1213,8 @@ PASS: ./myec2c {-o multipar.c multipar.ec} ...@@ -1213,8 +1213,8 @@ PASS: ./myec2c {-o multipar.c multipar.ec}
PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {} PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node multipar.lus {}
==> lus2lic4.sum <== ==> lus2lic4.sum <==
Test Run By jahier on Fri Sep 5 16:32:15 Test Run By jahier on Tue Sep 9 14:59:38
Native configuration is i686-pc-linux-gnu Native configuration is x86_64-unknown-linux-gnu
=== lus2lic4 tests === === lus2lic4 tests ===
...@@ -1674,7 +1674,7 @@ PASS: ./myec2c {-o zzz2.c zzz2.ec} ...@@ -1674,7 +1674,7 @@ PASS: ./myec2c {-o zzz2.c zzz2.ec}
# of unexpected failures 2 # of unexpected failures 2
==> lus2lic2.sum <== ==> lus2lic2.sum <==
PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus 40972 {} PASS: /home/jahier/lus2lic/test/../utils/compare_exec_and_2c zzz2.lus 35914 {}
=== lus2lic2 Summary === === lus2lic2 Summary ===
...@@ -1695,14 +1695,14 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {} ...@@ -1695,14 +1695,14 @@ PASS: /home/jahier/lus2lic/test/../utils/test_lus2lic_no_node zzz2.lus {}
# of expected passes 437 # of expected passes 437
=============================== ===============================
# Total number of failures: 7 # Total number of failures: 7
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 4 seconds lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 1 seconds
lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 42 seconds lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 19 seconds
lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 76 seconds lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 56 seconds
lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 43 seconds lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 23 seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 91 seconds lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 72 seconds
* Ref time: * Ref time:
0.09user 0.08system 4:18.50elapsed 0%CPU (0avgtext+0avgdata 2472maxresident)k 0.11user 0.08system 2:51.34elapsed 0%CPU (0avgtext+0avgdata 2468maxresident)k
0inputs+0outputs (0major+12568minor)pagefaults 0swaps 120inputs+0outputs (0major+12536minor)pagefaults 0swaps
* Quick time (-j 4): * Quick time (-j 4):
0.10user 0.07system 2:00.34elapsed 0%CPU (0avgtext+0avgdata 2472maxresident)k 0.09user 0.09system 1:14.92elapsed 0%CPU (0avgtext+0avgdata 2468maxresident)k
0inputs+0outputs (0major+12567minor)pagefaults 0swaps 120inputs+0outputs (0major+12539minor)pagefaults 0swaps
test/lus2lic.time
+ 9
− 9
View file @ 860de7d7
lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 4 seconds lus2lic0.log:testcase ./lus2lic.tests/test0.exp completed in 1 seconds
lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 42 seconds lus2lic1.log:testcase ./lus2lic.tests/test1.exp completed in 19 seconds
lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 76 seconds lus2lic2.log:testcase ./lus2lic.tests/test2.exp completed in 56 seconds
lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 43 seconds lus2lic3.log:testcase ./lus2lic.tests/test3.exp completed in 23 seconds
lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 91 seconds lus2lic4.log:testcase ./lus2lic.tests/test4.exp completed in 72 seconds
* Ref time: * Ref time:
0.09user 0.08system 4:18.50elapsed 0%CPU (0avgtext+0avgdata 2472maxresident)k 0.11user 0.08system 2:51.34elapsed 0%CPU (0avgtext+0avgdata 2468maxresident)k
0inputs+0outputs (0major+12568minor)pagefaults 0swaps 120inputs+0outputs (0major+12536minor)pagefaults 0swaps
* Quick time (-j 4): * Quick time (-j 4):
0.10user 0.07system 2:00.34elapsed 0%CPU (0avgtext+0avgdata 2472maxresident)k 0.09user 0.09system 1:14.92elapsed 0%CPU (0avgtext+0avgdata 2468maxresident)k
0inputs+0outputs (0major+12567minor)pagefaults 0swaps 120inputs+0outputs (0major+12539minor)pagefaults 0swaps
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