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

gap-system / gap / 9110 / 9
4%
master: 4%

Build:
DEFAULT BRANCH: master
Ran 27 Jan 2019 11:59PM UTC
Files 644
Run time 29s
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 Jan 2019 11:23PM UTC coverage: 74.322% (-0.003%) from 74.325%
TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror"

push

travis-ci

fingolfin
kernel: fix assertion in FreeLVarsBag

However, since we only ever call FreeLVarsBag with argument STATE(CurrLVars),
this change doesn't really have any effect...

231156 of 311019 relevant lines covered (74.32%)

648427.87 hits per line

Source Files on job 9110.9 (TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror")
  • Tree
  • List 0
  • Changed 59
  • Source Changed 6
  • Coverage Changed 59
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Build 1480
  • Travis Job 9110.9
  • c7435fc9 on github
  • Prev Job for TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror" on master (#9107.9)
  • Next Job for TEST_SUITES="testinstall" JULIA=yes CONFIGFLAGS="--disable-Werror" on master (#9116.9)
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