2171
36%

Ran 27 May 2018 02:39PM UTC

Jobs 1

Files 167

Run time 10s

Badge

Build # 2171

Build Type

push

travis-ci

Committed by

Commit Message

Cleaner test code

Run Details

10708 of 18079 relevant lines covered (59.23%)

108076.88 hits per line

Lines	Coverage	∆	File
2	61.66	-0.79%	src/propengine.cpp
16	70.31	1.46%	src/searcher.h
327	56.72	0.03%	src/occsimplifier.cpp

ID	Job ID	Ran	Files	Coverage
23	2171.23 (CMS_CONFIG=COVERAGE)	27 May 2018 02:39PM UTC	167	59.23	Travis Job 2171.23