summaryrefslogtreecommitdiff
path: root/tools/coverage
Commit message (Expand)AuthorAgeFilesLines
* [tools/coverage] Added a warning: on a machine shared with other users,vlefevre2016-08-111-0/+7
* [tools/coverage] unset MPFR_* environment variables in a better way.vlefevre2012-07-051-1/+1
* [tools/coverage] unset MPFR_* environment variables in a better way.vlefevre2012-07-051-4/+3
* [coverage] unset MPFR_* environment variables to get reproducible resultszimmerma2012-07-051-0/+4
* [coverage] unset GMP_CHECK_RANDOMIZE so that the coverage test is deterministiczimmerma2012-07-041-0/+1
* [tools/coverage] Minor update, just in case...vlefevre2012-07-031-1/+1
* Added coverage tune (from a patch by Patrick).vlefevre2012-06-281-1/+1
* [coverage] added instructions how to use this scriptzimmerma2012-06-271-0/+3
* [tools/coverage] Detailed coverage (from a patch by Patrick).vlefevre2012-06-271-1/+6
* Added configure option --enable-assert=none to avoid checking anyvlefevre2012-06-261-1/+1
* [tools/coverage] Correction by Patrick.vlefevre2012-06-261-2/+4
* [tools/coverage] Update from Patrick.vlefevre2011-01-141-10/+28
* Source reorganization. In short:vlefevre2010-08-171-0/+77