SRI-CSL / yices2 / 28640372565
70%
master: 71%

LAST BUILD BRANCH: fix-417-smt2-string-escape
DEFAULT BRANCH: master
Ran
Jobs 1
Files 496
Run time 2min
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: 70.04% (+0.1%) from 69.901%
28640372565

Pull #649

github

web-flow 
Merge 1ccda5149 into bcb8a20aa
Pull Request #649: Add model clone/project APIs and model-local value export

314 of 346 new or added lines in 3 files covered. (90.75%)

7 existing lines in 1 file now uncovered.

93968 of 134163 relevant lines covered (70.04%)

1577740.52 hits per line

Uncovered Changes

Lines Coverage ∆ File
16
53.46
 2.7% src/api/yices_api.c
16
80.34
 1.46% src/model/concrete_values.c

Coverage Regressions

Lines Coverage ∆ File
7
53.46
 2.7% src/api/yices_api.c
Jobs
ID Job ID Ran Files Coverage
1 28640372565.1 496
70.04
 GitHub Action Run
Source Files on build 28640372565