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

dreal / dreal4 / 487 / 8
34%
master: 34%

Build:
DEFAULT BRANCH: master
Ran 30 Oct 2021 07:53AM UTC
Files 77
Run time 3s
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

30 Oct 2021 07:53AM UTC coverage: 33.895% (-49.4%) from 83.251%
COMPILER="clang-6.0" BUILD_TYPE="-c dbg"

push

travis-ci

Soonho Kong
fix(dreal/solver/icp_parallel.cc): Remove debug log

155 of 1038 branches covered (14.93%)

Branch coverage included in aggregate %.

1172 of 2877 relevant lines covered (40.74%)

4.24 hits per line

Source Files on job 487.8 (COMPILER="clang-6.0" 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 21
  • Travis Job 487.8
  • 63035fde on github
  • Prev Job for COMPILER="--compiler=gcc-5" BUILD_TYPE="-c dbg" on master (#184.3)
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