1497
65%

Ran 01 Oct 2020 05:57AM UTC

Jobs 2

Files 469

Run time 12min

Badge

Committed 01 Oct 2020 05:39AM UTC coverage: 65.132% (+0.02%) from 65.117%

Build # 1497

Build Type

push

travis-ci

Committed by

Commit Message

Fixed let to be parallel

Run Details

75059 of 115242 relevant lines covered (65.13%)

1429877.27 hits per line

ID	Job ID	Ran	Files	Coverage
5	1497.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	01 Oct 2020 05:57AM UTC	0	65.13	Travis Job 1497.5
10	1497.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	01 Oct 2020 06:10AM UTC	0	0.0	Travis Job 1497.10

Detailed source file information is not available for this build.