14
52%
master: 36%

Ran 24 Jun 2016 12:20AM UTC

Files 105

Run time 5s

Badge

Embed ▾

Committed 23 Jun 2016 11:58PM UTC coverage: 51.549% (+0.08%) from 51.467%

Job # CMS_CONFIG=COVERAGE

Build Type

push

travis-ci

Committed by

msoos

Commit Message

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/solutionextender.cpp
	src/solverconf.cpp
	src/solverconf.h
	src/streambuffer.h
	src/varreplacer.h
	tests/undefine_test.cpp

Run Details

7487 of 14524 relevant lines covered (51.55%)

402.76 hits per line

msoos / cryptominisat / 1425 / 14
52%
master: 36%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1425.14 (CMS_CONFIG=COVERAGE)

msoos / cryptominisat / 1425 / 14 52% master: 36%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 1425.14 (CMS_CONFIG=COVERAGE)

msoos / cryptominisat / 1425 / 14
52%
master: 36%

README BADGES
x