• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

dreal / dreal4 / 184 / 3
34%
master: 34%

Build:
DEFAULT BRANCH: master
Ran 27 May 2020 05:36AM UTC
Files 13
Run time 5s
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

27 May 2020 05:36AM UTC coverage: 83.251% (+63.5%) from 19.737%
COMPILER="--compiler=gcc-5" BUILD_TYPE="-c dbg"

push

travis-ci

Soonho Kong
test(dr): Add more optimization benchmark

45 of 56 branches covered (80.36%)

Branch coverage included in aggregate %.

124 of 147 relevant lines covered (84.35%)

10.97 hits per line

Source Files on job 184.3 (COMPILER="--compiler=gcc-5" BUILD_TYPE="-c dbg")
  • Tree
  • List 0
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line Branch Hits Branch Misses
  • Back to Build 20
  • Travis Job 184.3
  • a9427e6a on github
  • Prev Job for COMPILER="--compiler=gcc-5" BUILD_TYPE="-c dbg" on master (#151.3)
  • Next Job for COMPILER="clang-6.0" BUILD_TYPE="-c dbg" on master (#487.8)
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc