1148
66%

Ran 23 Mar 2020 08:54PM UTC

Jobs 2

Files 444

Run time 13min

Badge

Committed 23 Mar 2020 08:37PM UTC coverage: 62.556% (-0.04%) from 62.595%

Build # 1148

Build Type

push

travis-ci

Committed by

Commit Message

API functions to export to DIMACS

Run Details

68593 of 109651 relevant lines covered (62.56%)

1390672.8 hits per line

ID	Job ID	Ran	Files	Coverage
5	1148.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	23 Mar 2020 08:54PM UTC	444	62.56	Travis Job 1148.5
10	1148.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	23 Mar 2020 09:07PM UTC	0		Travis Job 1148.10