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

LAST BUILD BRANCH: dimacsfilewriter_singleclausebug
DEFAULT BRANCH: master
Ran
Jobs 1
Files 222
Run time 15s
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
5cd14fb0ab79a30008edd305

push

wercker

Christoph Zengler 
Fixed an unspecified behaviour in the SAT predicate

14037 of 14486 relevant lines covered (96.9%)

0.97 hits per line

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