SRI-CSL / yices2 / 22566597397
66%
master: 69%

LAST BUILD BRANCH: fix/smt2-array-model-format
DEFAULT BRANCH: master
Ran
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
coverage: 65.302% (-0.09%) from 65.387%
22566597397

Pull #604

github

web-flow 
Merge 22c9b82aa into bb49ed3ff
Pull Request #604: Hardened #589 update + added missing API for building tuple and functional values and setting them in model

11 of 184 new or added lines in 3 files covered. (5.98%)

5 existing lines in 1 file now uncovered.

81494 of 124796 relevant lines covered (65.3%)

1706062.3 hits per line

Uncovered Changes

Lines Coverage ∆ File
112
24.94
 -0.51% src/api/yices_api.c
52
62.2
 -1.95% src/model/concrete_values.c
9
64.18
 -3.01% src/model/val_to_term.c

Coverage Regressions

Lines Coverage ∆ File
5
24.94
 -0.51% src/api/yices_api.c
Jobs
ID Job ID Ran Files Coverage
1 22566597397.1 486
65.3
 GitHub Action Run
Source Files on build 22566597397