1506
65%

Ran 07 Oct 2020 02:47AM UTC

Jobs 2

Files 469

Run time 13min

Badge

Committed 07 Oct 2020 02:33AM UTC coverage: 65.134%. Remained the same

Build # 1506

Build Type

push

travis-ci

Committed by

Commit Message

moving regression tests to the mcsat world

Run Details

75114 of 115323 relevant lines covered (65.13%)

1428880.95 hits per line

ID	Job ID	Ran	Files	Coverage
5	1506.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	07 Oct 2020 02:47AM UTC	0	65.13	Travis Job 1506.5
10	1506.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	07 Oct 2020 03:00AM UTC	0	0.0	Travis Job 1506.10

Detailed source file information is not available for this build.