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: SELECT
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 master
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  
301 master remove tokei.rs badge due to bad LOC readings push fkutzner travis-ci pending completion  
300 rel-0.2.0 update CHANGELOG.md push fkutzner travis-ci pending completion  
299 rel-0.2.x-bugfixes update CHANGELOG.md 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  
296 exp_ecoprop avoid iterating over too many assigned literals during propagation push fkutzner travis-ci pending completion  
295 master count logging epochs by the number of seen conflicts push fkutzner travis-ci pending completion  
See All Builds (233)