gap-system / gap / 12016 / 13
4%
master: 4%

Ran 22 May 2020 03:35PM UTC

Files 655

Run time 1min

Badge

Committed 22 May 2020 02:53PM UTC coverage: 72.28%. Remained the same

Job # CFLAGS="--coverage -O2 -g" CXXFLAGS="--coverage -O2 -g" LDFLAGS="--coverage" CONFIGFLAGS="--enable-debug" COVERALLS_PARALLEL=true TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror"

Build Type

push

travis-ci

Committed by

Commit Message

Fix IsPackageLoaded & TestPackage to normalize package name

For lookup in GAPInfo.PackagesInfo, package names must first
be converted to lowercase.

Run Details

222439 of 307747 relevant lines covered (72.28%)

774762.25 hits per line

Source Files on job 12016.13 (CFLAGS="--coverage -O2 -g" CXXFLAGS="--coverage -O2 -g" LDFLAGS="--coverage" CONFIGFLAGS="--enable-debug" COVERALLS_PARALLEL=true TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror")