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

SRI-CSL / yices2 / 7065863288 / 1
65%
master: 65%

Build:
DEFAULT BRANCH: master
Ran 01 Dec 2023 10:33PM UTC
Files 1624
Run time 39s
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

01 Dec 2023 10:26PM UTC coverage: 65.862% (-0.002%) from 65.864%
7065863288.1

push

github

web-flow
update set-var-order sig (#482)

87265 of 132496 relevant lines covered (65.86%)

1415207.22 hits per line

Source Files on job 7065863288.1
  • Tree
  • List 1624
  • Changed 130
  • Source Changed 0
  • Coverage Changed 109
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Build 7065863288
  • e27cf308 on github
  • Prev Job for on master (#7062919320.1)
  • Next Job for on master (#7230351501.1)
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