SRI-CSL / yices2 / 26775826807
69%
master: 69%

LAST BUILD BRANCH: reduce-cdclt
DEFAULT BRANCH: master
Ran
Jobs 1
Files 492
Run time 3min
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: 68.804% (+0.01%) from 68.793%
26775826807

Pull #635

github

web-flow 
Merge 2d347fb6e into 38fa1bf5f
Pull Request #635: MCSAT: L2O

1142 of 1587 new or added lines in 19 files covered. (71.96%)

5 existing lines in 1 file now uncovered.

88451 of 128555 relevant lines covered (68.8%)

1582430.94 hits per line

Uncovered Changes

Lines Coverage ∆ File
235
57.43
 src/mcsat/l2o/evaluator.c
106
75.85
 src/mcsat/l2o/l2o.c
48
74.05
 src/utils/int_hash_mmap.c
18
81.16
 -0.24% src/terms/term_manager.c
18
89.65
 -0.78% src/terms/terms.c
10
91.63
 -4.47% src/mcsat/bool/cnf.c
4
52.39
 0.05% src/frontend/smt2/smt2_commands.c
3
79.33
 -0.06% src/mcsat/solver.c
2
98.48
 src/mcsat/l2o/hill_climbing.c
1
78.16
 0.11% src/mcsat/na/na_plugin.c

Coverage Regressions

Lines Coverage ∆ File
5
79.33
 -0.06% src/mcsat/solver.c
Jobs
ID Job ID Ran Files Coverage
1 26775826807.1 492
68.8
 GitHub Action Run
Source Files on build 26775826807