50
63%
master: 57%

Ran 29 May 2014 11:51PM UTC

Jobs 1

Files 17

Run time 9s

Badge

Embed ▾

pending completion

Build # 50

Build Type

push

travis-ci

Committed by

soonhokong

Commit Message

fix(main): cmd-line parsing

 - move cmd-line parsing from SMTConfig to main.
 - run gflags first, update argc and argv. Then call SMTConfig with the
   updated ones.
 - check whether a given file exists or not.

This closes dreal/dreal#39

Run Details

771 of 1549 relevant lines covered (49.77%)

195825.1 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
2	50.2 (CMAKE_CXX_COMPILER=g++-4.8 CMAKE_C_COMPILER=gcc-4.8 CMAKE_BUILD_TYPE=Debug CTEST=ON TESTCOV=ON STATIC=OFF)	29 May 2014 11:51PM UTC	0	49.77	Travis Job 50.2

Source Files on build 50

Detailed source file information is not available for this build.

dreal / dreal / 50
63%
master: 57%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 50

dreal / dreal / 50 63% master: 57%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build 50

dreal / dreal / 50
63%
master: 57%

README BADGES
x