dreal / dreal3 / #6 / 1
56%
master: 55%

LAST BUILD BRANCH: master
DEFAULT BRANCH: master
Ran
Files 86
Run time 5s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 55.874% (-0.02%) from 55.895%
#6.1

push

travis-ci

Soonho Kong 
feat(opensmt/smtsolver/CoreSMTSolver): short SAT functionality

6202 of 11100 relevant lines covered (55.87%)

225013.58 hits per line

Source Files on job #6.1