1513
65%

Ran 13 Oct 2020 02:00PM UTC

Jobs 2

Files 469

Run time 14min

Badge

Committed 13 Oct 2020 01:44PM UTC coverage: 65.167%. Remained the same

Build # 1513

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] purify all negated uf arguments

fixes #319

Run Details

75200 of 115396 relevant lines covered (65.17%)

1428167.41 hits per line

ID	Job ID	Ran	Files	Coverage
5	1513.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	13 Oct 2020 02:00PM UTC	0	65.17	Travis Job 1513.5
10	1513.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	13 Oct 2020 02:14PM UTC	0	0.0	Travis Job 1513.10

Detailed source file information is not available for this build.