1144
65%

Ran 23 Mar 2020 04:25PM UTC

Jobs 2

Files 444

Run time 10min

Badge

Committed 23 Mar 2020 04:05PM UTC coverage: 62.5%. Remained the same

Build # 1144

Build Type

push

travis-ci

Committed by

Commit Message

Bug fix: make sure prompt = false by default

Run Details

68472 of 109555 relevant lines covered (62.5%)

1391857.49 hits per line

ID	Job ID	Ran	Files	Coverage
5	1144.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	23 Mar 2020 04:25PM UTC	0	62.5	Travis Job 1144.5
10	1144.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	23 Mar 2020 04:35PM UTC	0		Travis Job 1144.10

Detailed source file information is not available for this build.