23
36%
master: 36%

Ran 23 Sep 2018 09:38PM UTC

Files 167

Run time 7s

Badge

Embed ▾

Committed 23 Sep 2018 09:07PM UTC coverage: 58.774% (+0.03%) from 58.743%

Job # CMS_CONFIG=COVERAGE

Build Type

push

travis-ci

Committed by

msoos

Commit Message

Fixing the timing issue correctly this time around

Previous fix was only a half fix. This one should now be correctly
displaying the time for the current thread. It was more complicated than
I thought I have to admit.

Closes #497

Run Details

10735 of 18265 relevant lines covered (58.77%)

93278.16 hits per line

msoos / cryptominisat / 2307 / 23
36%
master: 36%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2307.23 (CMS_CONFIG=COVERAGE)

msoos / cryptominisat / 2307 / 23 36% master: 36%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 2307.23 (CMS_CONFIG=COVERAGE)

msoos / cryptominisat / 2307 / 23
36%
master: 36%

README BADGES
x