1512
66%

Ran 12 Oct 2020 06:44PM UTC

Jobs 2

Files 469

Run time 17min

Badge

Committed 12 Oct 2020 06:30PM UTC coverage: 65.167% (+0.002%) from 65.165%

Build # 1512

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] purify false since it's negation of true internally

fixes #317

Run Details

75201 of 115397 relevant lines covered (65.17%)

1428154.22 hits per line

ID	Job ID	Ran	Files	Coverage
5	1512.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	12 Oct 2020 06:44PM UTC	469	65.17	Travis Job 1512.5
10	1512.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	12 Oct 2020 07:01PM UTC	0	0.0	Travis Job 1512.10