907
63%
master: 66%

Ran 12 Jul 2019 02:49PM UTC

Jobs 2

Files 428

Run time 8min

Badge

Build # 907

Build Type

push

travis-ci

Committed by

Commit Message

fix conflict checking in bv to allow theory combination

Run Details

66570 of 105881 relevant lines covered (62.87%)

1293651.89 hits per line

ID	Job ID	Ran	Files	Coverage
5	907.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON)	12 Jul 2019 02:49PM UTC	428	62.87	Travis Job 907.5
6	907.6 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON)	12 Jul 2019 02:57PM UTC	0		Travis Job 907.6