2
57%
master: 57%

Ran 23 Jan 2015 05:49PM UTC

Files 22

Run time 10s

Badge

Embed ▾

Committed 23 Jan 2015 05:33AM UTC coverage: 45.232% (-0.04%) from 45.276%

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

pondering

Commit Message

fix(bmc, basic, parse): fix jumpmap

1. In order to support jump to same target under different condition,
use list instead of map to store the jump edges. The logic in heuristics
need to be rewritten.

Run Details

1015 of 2244 relevant lines covered (45.23%)

358463.29 hits per line

dreal / dreal / 130 / 2
57%
master: 57%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

README BADGES
x