dreal / dreal
57%

DEFAULT BRANCH: master
Repo Added
Files 21
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

LAST BUILD ON BRANCH master
branch: SELECT
CHANGE BRANCH
x

177

push

travis-ci

soonhokong 
chore(CMakeLists.txt): bump to version 2.15.11

1180 of 2064 relevant lines covered (57.17%)

418393.44 hits per line

Relevant lines Covered
2064 RELEVANT LINES 1180 COVERED LINES
418393.44 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
177 master chore(CMakeLists.txt): bump to version 2.15.11 push soonhokong travis-ci pending completion  
176 master chore(CMakeLists.txt): point to dreal-deps/capdDynSys-4.0 push soonhokong travis-ci pending completion  
175 master fix(CMakeLists.txt): pass CXXFLAGS to FILIBXX push soonhokong travis-ci pending completion  
174 master Update AUTHORS push scungao travis-ci pending completion  
173 master fix(CMakeLists.ppa.txt): add URL for external projects push soonhokong travis-ci pending completion  
172 master fix(CMakeLists.txt): bump version, update CMakeLists.ppa.txt push soonhokong travis-ci pending completion  
171 master fix(dsolvers/heuristics/heuristic.cpp): style push soonhokong travis-ci pending completion  
170 master fix(.travis.yml): lcov push soonhokong travis-ci pending completion  
168 master fix(CMakeLists.txt): remove gflags dep from glog push Soonho Kong travis-ci pending completion  
167 master fix(opensmt/smtsolvers/CoreSMTSolver.h): default arg of printCurrentAssignment Default parameter values must appear on the declaration. push Soonho Kong travis-ci pending completion  
See All Builds (105)