fkutzner / JamSAT
96%
master: 96%

LAST BUILD BRANCH: current
DEFAULT BRANCH: master
Repo Added
Files 58
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 current
branch: current
CHANGE BRANCH
x

304

push

travis-ci

fkutzner 
reworked the ClauseDistribution interface

2649 of 2770 relevant lines covered (95.63%)

330202.09 hits per line

Relevant lines Covered
2770 RELEVANT LINES 2649 COVERED LINES
330202.09 HITS PER LINE
Source Files on current
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
304 current reworked the ClauseDistribution interface push fkutzner travis-ci pending completion  
303 current clean up SubsumptionChecker.h push fkutzner travis-ci pending completion  
302 current tidy up Options.cpp push fkutzner travis-ci pending completion  
298 current update CHANGELOG.md push fkutzner travis-ci pending completion  
297 current perform in-flight simplifications less frequently push fkutzner travis-ci pending completion  
294 current count logging epochs by the number of seen conflicts push fkutzner travis-ci pending completion  
293 current always run simplifications during the first invocation of LightweightSimplifier push fkutzner travis-ci pending completion  
289 current fix negative-value checking in Options.cpp push fkutzner travis-ci pending completion  
288 current update CHANGELOG.md push fkutzner travis-ci pending completion  
286 current handle bad lemma allocations in CDCLSatSolver push fkutzner travis-ci pending completion  
See All Builds (233)