logic-ng / LogicNG / 5ade26408812290001b5b8a1
97%
master: 97%

LAST BUILD BRANCH: dimacsfilewriter_singleclausebug
DEFAULT BRANCH: master
Ran
Jobs 1
Files 192
Run time 22s
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
5ade26408812290001b5b8a1

push

wercker

Christoph Zengler 
Merge branch 'bdd' into development

13696 of 14173 relevant lines covered (96.63%)

0.97 hits per line

Jobs
ID Job ID Ran Files Coverage
1 5ade26408812290001b5b8a1.1 0
96.63
Source Files on build 5ade26408812290001b5b8a1
Detailed source file information is not available for this build.