1332
65%

Ran 25 Jun 2020 05:39PM UTC

Jobs 2

Files 444

Run time 11min

Badge

Committed 25 Jun 2020 05:24PM UTC coverage: 63.439%. Remained the same

Build # 1332

Build Type

push

travis-ci

Committed by

Commit Message

Fix for #254: bad assertion

Run Details

69973 of 110299 relevant lines covered (63.44%)

1407881.71 hits per line

ID	Job ID	Ran	Files	Coverage
5	1332.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	25 Jun 2020 05:39PM UTC	0	63.44	Travis Job 1332.5
10	1332.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	25 Jun 2020 05:50PM UTC	0	0.0	Travis Job 1332.10

Detailed source file information is not available for this build.