652
58%
master: 63%

Ran 31 Mar 2020 08:13PM UTC

Jobs 1

Files 107

Run time 20s

Badge

Committed 31 Mar 2020 07:56PM UTC coverage: 58.194% (+0.03%) from 58.165%

Build # 652

Build Type

push

travis-ci

Committed by

Commit Message

VerExprParser::visitExpression fix missing return for implications

Run Details

30918 of 53129 relevant lines covered (58.19%)

9884.15 hits per line

ID	Job ID	Ran	Files	Coverage
3	652.3 (CC=gcc-8 CXX=g++-8 BUILD_ARGS="--build-type Debug -- -DCODE_COVERAGE=ON" CODE_COVERAGE=1)	31 Mar 2020 08:13PM UTC	107	58.19	Travis Job 652.3