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

SRI-CSL / yices2 / 25302889838
67%

Build:
DEFAULT BRANCH: master
Ran 04 May 2026 05:46AM UTC
Jobs 1
Files 486
Run time 1min
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

04 May 2026 05:36AM UTC coverage: 66.687% (+0.002%) from 66.685%
25302889838

push

github

web-flow
Merge pull request #590 from SRI-CSL/fix-iss-414

fixes #414
Discovered an existing issue, added a guard to prevent incorrect answer; fixing the guard is Issue #621

65 of 80 new or added lines in 6 files covered. (81.25%)

37 existing lines in 8 files now uncovered.

83456 of 125146 relevant lines covered (66.69%)

1645639.24 hits per line

Uncovered Changes

Lines Coverage ∆ File
12
90.45
-1.56% src/mcsat/preprocessor.c
1
86.05
-0.13% src/frontend/smt2/smt2_printer.c
1
33.65
-1.75% src/io/concrete_value_printer.c
1
67.34
0.15% src/model/concrete_values.c

Coverage Regressions

Lines Coverage ∆ File
16
88.99
-1.28% src/terms/terms.c
12
80.01
-0.58% src/terms/term_utils.c
2
86.4
-0.34% src/mcsat/bv/bv_bdd_manager.c
2
72.84
-0.18% src/mcsat/eq/equality_graph.c
2
90.45
-1.56% src/mcsat/preprocessor.c
1
61.17
-0.11% src/mcsat/bv/explain/arith.c
1
78.84
-0.07% src/mcsat/solver.c
1
58.2
0.29% src/terms/types.c
Jobs
ID Job ID Ran Files Coverage
1 25302889838.1 04 May 2026 05:46AM UTC 486
66.69
GitHub Action Run
Source Files on build 25302889838
  • Tree
  • List 486
  • Changed 17
  • Source Changed 0
  • Coverage Changed 17
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • 87861e4e on github
  • Prev Build on master (#25267023082)
  • Next Build on master (#25307519190)
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