1283
66%

Ran 09 Jun 2020 10:45PM UTC

Jobs 2

Files 444

Run time 11min

Badge

Committed 09 Jun 2020 10:34PM UTC coverage: 62.741% (-0.002%) from 62.743%

Build # 1283

Build Type

push

travis-ci

Committed by

Commit Message

Remove assumptions on clean_context

Run Details

69242 of 110362 relevant lines covered (62.74%)

1388129.46 hits per line

ID	Job ID	Ran	Files	Coverage
5	1283.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	09 Jun 2020 10:45PM UTC	444	62.74	Travis Job 1283.5
10	1283.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	09 Jun 2020 10:57PM UTC	0	0.0	Travis Job 1283.10