1372
65%
master: 66%

Ran 07 Jul 2020 06:32PM UTC

Jobs 2

Files 445

Run time 15min

Badge

Committed 07 Jul 2020 06:24PM UTC coverage: 64.121% (+0.03%) from 64.095%

Build # 1372

Build Type

push

travis-ci

Committed by

Commit Message

[assumptions] Fix another issue with integer conflicts.

Run Details

71204 of 111047 relevant lines covered (64.12%)

1474366.3 hits per line

ID	Job ID	Ran	Files	Coverage
5	1372.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	07 Jul 2020 06:32PM UTC	445	64.12	Travis Job 1372.5
10	1372.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat")	07 Jul 2020 06:46PM UTC	0	0.0	Travis Job 1372.10