2
57%
master: 57%

Ran 29 May 2014 11:27PM UTC

Files 17

Run time 8s

Badge

Embed ▾

Committed 29 May 2014 11:02PM UTC coverage: 49.774% (-12.7%) from 62.508%

Job # CMAKE_CXX_COMPILER=g++-4.8 CMAKE_C_COMPILER=gcc-4.8 CMAKE_BUILD_TYPE=Debug CTEST=ON TESTCOV=ON STATIC=OFF

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

dreal / dreal / 49 / 2
57%
master: 57%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 49.2 (CMAKE_CXX_COMPILER=g++-4.8 CMAKE_C_COMPILER=gcc-4.8 CMAKE_BUILD_TYPE=Debug CTEST=ON TESTCOV=ON STATIC=OFF)

dreal / dreal / 49 / 2 57% master: 57%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 49.2 (CMAKE_CXX_COMPILER=g++-4.8 CMAKE_C_COMPILER=gcc-4.8 CMAKE_BUILD_TYPE=Debug CTEST=ON TESTCOV=ON STATIC=OFF)

dreal / dreal / 49 / 2
57%
master: 57%

README BADGES
x