logic-ng / LogicNG
97%
master: 97%

LAST BUILD BRANCH: dimacsfilewriter_singleclausebug
DEFAULT BRANCH: master
Repo Added
Files 272
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

LAST BUILD ON BRANCH v2.0
branch: v2.0
CHANGE BRANCH
x

5f1ff0fedac5630008b69f8c

push

wercker

Steffen Hildebrandt 
more test coverage

15235 of 15678 relevant lines covered (97.17%)

0.97 hits per line

Relevant lines Covered
15678 RELEVANT LINES 15235 COVERED LINES
0.97 HITS PER LINE
Source Files on v2.0
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
5f1ff0fe... v2.0 more test coverage push Steffen Hildebrandt wercker pending completion  
5f1a85f5... v2.0 more tests push Rouven Walter wercker pending completion  
5f1a822c... v2.0 more tests push Rouven Walter wercker pending completion  
5f1a800a... v2.0 more tests push Rouven Walter wercker pending completion  
5f1a0c5b... v2.0 refactoring VariableOrderingProvider by using supplier interface push Rouven Walter wercker pending completion  
5f19fec6... v2.0 refactoring; added more unit tests push Rouven Walter wercker pending completion  
5f19ece5... v2.0 minor refactoring; more tests push Rouven Walter wercker pending completion  
5f19dfbc... v2.0 minor refactoring; more unit tests for test coverage push Rouven Walter wercker pending completion  
5f19d0d4... v2.0 refactoring; more unit tests for test coverage push Rouven Walter wercker pending completion  
5f19a3ef... v2.0 minor typos push Rouven Walter wercker pending completion  
See All Builds (469)