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 ffstate
branch: ffstate
CHANGE BRANCH
x

#182

push

wercker

MAMSiegmund 
Implemented variant 2 and 3 as ClearCacheFormulaFactory and a copy method in the original FormulaFactory respectively.

11529 of 11947 relevant lines covered (96.5%)

0.97 hits per line

Relevant lines Covered
11947 RELEVANT LINES 11529 COVERED LINES
0.97 HITS PER LINE
Source Files on ffstate
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
#182 ffstate Implemented variant 2 and 3 as ClearCacheFormulaFactory and a copy method in the original FormulaFactory respectively. push MAMSiegmund wercker pending completion  
#180 ffstate Local transformation caches are now cleared when the ExtendedFormulaFactory loads a state. push MAMSiegmund wercker pending completion  
#179 ffstate Added shouldCache method for FormulaFactorys. Adapted Tseitin- and PlaistedGreenbaum-Transformations to work without caching. push MAMSiegmund wercker pending completion  
#178 ffstate introduced a formula factory state (not yet fully functional) push zengler wercker pending completion  
See All Builds (469)