dreal / dreal / 130
57%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 22
Run time 11s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
130

push

travis-ci

pondering 
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.

1015 of 2244 relevant lines covered (45.23%)

358463.29 hits per line

Jobs
ID Job ID Ran Files Coverage
2 130.2 (CMAKE_CXX_COMPILER=g++-4.8 CMAKE_C_COMPILER=gcc-4.8 CMAKE_BUILD_TYPE=Debug CTEST=ON TESTCOV=ON STATIC=OFF) 0
45.23
 Travis Job 130.2
Source Files on build 130
Detailed source file information is not available for this build.