1403
65%

Ran 15 Jul 2020 08:36PM UTC

Jobs 2

Files 453

Run time 16min

Badge

Committed 15 Jul 2020 08:27PM UTC coverage: 64.031%. Remained the same

Build # 1403

Build Type

push

travis-ci

Committed by

Commit Message

Mixing check-sat-assuming and unsat cores is not supported

Run Details

71601 of 111823 relevant lines covered (64.03%)

1400090.37 hits per line

ID	Job ID	Ran	Files	Coverage
5	1403.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	15 Jul 2020 08:36PM UTC	0	64.03	Travis Job 1403.5
10	1403.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	15 Jul 2020 08:50PM UTC	0	0.0	Travis Job 1403.10

Detailed source file information is not available for this build.