1492
65%

Ran 22 Sep 2020 08:14PM UTC

Jobs 2

Files 469

Run time 15min

Badge

Committed 22 Sep 2020 08:04PM UTC coverage: 65.115% (+0.01%) from 65.104%

Build # 1492

Build Type

push

travis-ci

Committed by

Commit Message

[mcsat] report errors when passing non-variable terms to solver with assumptions

Run Details

75010 of 115197 relevant lines covered (65.11%)

1430378.45 hits per line

ID	Job ID	Ran	Files	Coverage
5	1492.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	22 Sep 2020 08:14PM UTC	0	65.11	Travis Job 1492.5
10	1492.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	22 Sep 2020 08:29PM UTC	0	0.0	Travis Job 1492.10

Detailed source file information is not available for this build.