fkutzner / JamSAT
96%

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

301

push

travis-ci

fkutzner 
remove tokei.rs badge due to bad LOC readings

2550 of 2664 relevant lines covered (95.72%)

305596.27 hits per line

Relevant lines Covered
2664 RELEVANT LINES 2550 COVERED LINES
305596.27 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
301 master remove tokei.rs badge due to bad LOC readings push fkutzner travis-ci pending completion  
295 master count logging epochs by the number of seen conflicts push fkutzner travis-ci pending completion  
291 master extract magic number to static constexpr member in CDCLSatSolver push fkutzner travis-ci pending completion  
290 master fix negative-value checking in Options.cpp push fkutzner travis-ci pending completion  
287 master handle bad lemma allocations in CDCLSatSolver push fkutzner travis-ci pending completion  
279 master fix minor code issues in libjamsat push fkutzner travis-ci pending completion  
277 master disable support for testing on 32-bit Windows push fkutzner travis-ci pending completion  
271 master increase heaplet size in HeapletClauseDBUnitTests to reflect changes in Clause push fkutzner travis-ci pending completion  
260 master defensively initialize newLemma variable in CDCLSatSolver.h push fkutzner travis-ci pending completion  
259 master fix header file name in libjamfrontend/CMakeLists.txt push fkutzner travis-ci pending completion  
See All Builds (233)