msoos / cryptominisat
36%

DEFAULT BRANCH: master
Repo Added
Files 588
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: SELECT
CHANGE BRANCH
x

2404

Pull #10421

travis-ci

msoos 
Fixing tests for indep->sampling
Pull Request #10421:

19728 of 54511 relevant lines covered (36.19%)

0.36 hits per line

Relevant lines Covered
54511 RELEVANT LINES 19728 COVERED LINES
0.36 HITS PER LINE
Source Files on master

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
2404 master Fixing tests for indep->sampling Pull #10421 msoos travis-ci pending completion  
2136 master Don't print non-final tree Pull #3090 msoos travis-ci pending completion  
2092 master Fixing year push msoos travis-ci pending completion  
2089 master Adding more reconf possiblities push msoos travis-ci pending completion  
2077 master More thanks in sat competition paper push msoos travis-ci pending completion  
2075 master Updating citing instructions push web-flow travis-ci pending completion  
1726 master A bit of cleanup around python + no python interface in case of COVERAGE Pull #2199 msoos travis-ci pending completion  
2308 master Forgot to update time on single-threaded solving push msoos travis-ci pending completion  
2307 master Fixing the timing issue correctly this time around Previous fix was only a half fix. This one should now be correctly displaying the time for the current thread. It was more complicated than I thought I have to admit. Closes #497 push msoos travis-ci pending completion  
2306 master Cleanup of time_mem.h push msoos travis-ci pending completion  
See All Builds (969)