1425
52%
master: 36%

Ran 24 Jun 2016 12:20AM UTC

Jobs 1

Files 105

Run time 6s

Badge

Embed ▾

pending completion

Build # 1425

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

Jobs

ID	Job ID	Ran	Files	Coverage
14	1425.14 (CMS_CONFIG=COVERAGE)	24 Jun 2016 12:20AM UTC	105	51.55	Travis Job 1425.14

Source Files on build 1425

Coverage	∆	File	Lines	Relevant	Covered	Missed	Hits/Line

msoos / cryptominisat / 1425
52%
master: 36%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1425

msoos / cryptominisat / 1425 52% master: 36%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 1425

msoos / cryptominisat / 1425
52%
master: 36%

README BADGES
x