SRI-CSL / yices2 / 25787884743
69%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 486
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: 67.451% (+0.2%) from 67.254%
25787884743

push

github

web-flow 
Merge pull request #629 from SRI-CSL/incr-cadical

New version of delegates for contexts, with smarter handling of multichecks and push-pop modes

355 of 433 new or added lines in 8 files covered. (81.99%)

19 existing lines in 5 files now uncovered.

85741 of 127116 relevant lines covered (67.45%)

1625604.15 hits per line

Uncovered Changes

Lines Coverage ∆ File
27
40.95
 35.12% src/solvers/cdcl/delegate.c
22
77.73
 19.27% src/context/context_solver.c
16
24.91
 8.39% src/api/search_parameters.c
11
52.13
 -0.14% src/frontend/smt2/smt2_commands.c
2
48.6
 0.14% src/api/yices_api.c

Coverage Regressions

Lines Coverage ∆ File
7
40.95
 35.12% src/solvers/cdcl/delegate.c
4
48.6
 0.14% src/api/yices_api.c
4
77.73
 19.27% src/context/context_solver.c
3
50.0
 -4.55% src/utils/string_utils.c
1
54.2
 1.26% src/api/context_config.c
Jobs
ID Job ID Ran Files Coverage
1 25787884743.1 486
67.45
 GitHub Action Run
Source Files on build 25787884743