2
57%
master: 57%

Ran 13 May 2014 02:31PM UTC

Files 15

Run time 3s

Badge

Embed ▾

Committed 13 May 2014 02:01PM UTC coverage: 72.308% (-0.3%) from 72.622%

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

feat(opensmt/smtsolvers): add --model option

When the result is SAT, it create a file <XXX.smt2.model> which
contains a model (satisfying assignment).

Run Details

940 of 1300 relevant lines covered (72.31%)

1171968.82 hits per line

dreal / dreal / 37 / 2
57%
master: 57%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 37.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 / 37 / 2 57% master: 57%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 37.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 / 37 / 2
57%
master: 57%

README BADGES
x