[Ecm-commits] r2680 - trunk

cvs commits ecm-commits at lists.gforge.inria.fr
Fri Apr 3 13:20:28 CEST 2015


Author: zimmerma
Date: 2015-04-03 13:20:28 +0200 (Fri, 03 Apr 2015)
New Revision: 2680

Modified:
   trunk/coverage.sh
Log:
one should call geninfo *right after* each new compilation


Modified: trunk/coverage.sh
===================================================================
--- trunk/coverage.sh	2015-03-31 10:29:22 UTC (rev 2679)
+++ trunk/coverage.sh	2015-04-03 11:20:28 UTC (rev 2680)
@@ -9,28 +9,33 @@
 ./configure --disable-assert
 echo "Testing PARAMS00"
 make CFLAGS="-O0 -g -fprofile-arcs -ftest-coverage" PARAMS00=1
-make check VALGRIND=
+./test.ecm ./ecm
+geninfo --no-checksum --ignore-errors gcov,source -q --output-filename ecm00.info ./ --no-external
 make clean
 echo "Testing PARAMS11"
 make CFLAGS="-O0 -g -fprofile-arcs -ftest-coverage" PARAMS11=1
-make check VALGRIND=
+./test.ecm ./ecm
+geninfo --no-checksum --ignore-errors gcov,source -q --output-filename ecm11.info ./ --no-external
 make clean
 echo "Testing PARAMS22"
 make CFLAGS="-O0 -g -fprofile-arcs -ftest-coverage" PARAMS22=1
-make check VALGRIND=
+./test.ecm ./ecm
+geninfo --no-checksum --ignore-errors gcov,source -q --output-filename ecm22.info ./ --no-external
 make clean
 echo "Testing PARAMS33"
 make CFLAGS="-O0 -g -fprofile-arcs -ftest-coverage" PARAMS33=1
-make check VALGRIND=
+./test.ecm ./ecm
+geninfo --no-checksum --ignore-errors gcov,source -q --output-filename ecm33.info ./ --no-external
 make clean
 make CFLAGS="-O0 -g -fprofile-arcs -ftest-coverage"
+echo "Testing longcheck"
 make longcheck VALGRIND=
-make bench_mulredc
+echo "Testing bench_mulredc"
 ./bench_mulredc
-make tune
+echo "Testing tune"
 ./tune -v
 geninfo --no-checksum --ignore-errors gcov,source -q --output-filename ecm.info ./ --no-external
 rm -rf $t
-genhtml -o $t/ ecm.info
+genhtml -o $t/ ecm.info ecm00.info ecm11.info ecm22.info ecm33.info
 cd
 rm -rf $d



More information about the Ecm-commits mailing list