msoos / cryptominisat
52%
master: 36%

LAST BUILD BRANCH: HEAD
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 kuldeep_new
branch: kuldeep_new
CHANGE BRANCH
x

1502

push

travis-ci

web-flow 
Merge pull request #370 from kuldeepmeel/kuldeep_new

fixed xor generation bug

7490 of 14524 relevant lines covered (51.57%)

402.04 hits per line

Relevant lines Covered
14524 RELEVANT LINES 7490 COVERED LINES
402.04 HITS PER LINE
Source Files on kuldeep_new
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1502 kuldeep_new Merge pull request #370 from kuldeepmeel/kuldeep_new fixed xor generation bug push web-flow travis-ci pending completion  
1425 kuldeep_new Merge branch 'master' into kuldeep_new Conflicts: README.markdown src/gaussconfig.h src/main.cpp src/matrixfinder.cpp src/occsimplifier.cpp src/scalmc.cpp src/scalmc.h src/searcher.cpp src/searchstats.cpp src/searchstats.h src/solution... push msoos travis-ci pending completion  
1410 kuldeep_new Removing CUSP push msoos travis-ci pending completion  
1316 kuldeep_new Merge branch 'master' into kuldeep_new push msoos travis-ci pending completion  
1315 kuldeep_new Let's use our default heuristic push msoos travis-ci pending completion  
1314 kuldeep_new Add experimental confl-timeout to CUSP push msoos travis-ci pending completion  
1306 kuldeep_new Adding license info to unigen push msoos travis-ci pending completion  
See All Builds (969)