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

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

Build:
Build:
LAST BUILD BRANCH: api-model-function-values
DEFAULT BRANCH: master
Ran 28 Feb 2026 08:38AM UTC
Files 486
Run time 13s
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

28 Feb 2026 08:27AM UTC coverage: 65.305% (+0.02%) from 65.281%
22517145774.1

Pull #600

github

disteph
Fix #517: fallback when EF projection sees unsupported arith term
Pull Request #600: Fix #517: fallback when EF projection sees unsupported arith term

81257 of 124427 relevant lines covered (65.3%)

1708947.13 hits per line

Source Files on job 22517145774.1
  • Tree
  • List 486
  • Changed 6
  • Source Changed 0
  • Coverage Changed 6
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Build 22517145774
  • 3b12fda2 on github
  • Prev Job for on issue517 (#22205170141.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