1150
66%

Ran 24 Mar 2020 05:59PM UTC

Jobs 2

Files 444

Run time 10min

Badge

Committed 24 Mar 2020 05:52PM UTC coverage: 62.556%. Remained the same

Build # 1150

Build Type

push

travis-ci

Committed by

Commit Message

Unit test for export to DIMACS

Run Details

68593 of 109651 relevant lines covered (62.56%)

1390672.72 hits per line

ID	Job ID	Ran	Files	Coverage
5	1150.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	24 Mar 2020 05:59PM UTC	444	62.56	Travis Job 1150.5
10	1150.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	24 Mar 2020 06:10PM UTC	0		Travis Job 1150.10