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

LAST BUILD BRANCH: L2O_calc_update
DEFAULT BRANCH: master
Ran
Jobs 1
Files 492
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: 68.995% (-0.01%) from 69.005%
27047121822

Pull #635

github

web-flow 
Merge 5e47eb2a3 into e9b6610a2
Pull Request #635: MCSAT: L2O

1144 of 1587 new or added lines in 19 files covered. (72.09%)

35 existing lines in 5 files now uncovered.

89068 of 129094 relevant lines covered (68.99%)

1587470.66 hits per line

Uncovered Changes

Lines Coverage ∆ File
237
57.07
 src/mcsat/l2o/evaluator.c
102
76.77
 src/mcsat/l2o/l2o.c
48
74.05
 src/utils/int_hash_mmap.c
18
81.5
 -0.25% 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.21
 -0.13% src/frontend/smt2/smt2_commands.c
3
79.53
 0.34% src/mcsat/solver.c
2
98.48
 src/mcsat/l2o/hill_climbing.c
1
78.18
 0.11% src/mcsat/na/na_plugin.c

Coverage Regressions

Lines Coverage ∆ File
14
80.07
 -1.66% src/mcsat/preprocessor.c
10
36.35
 -0.98% src/frontend/yices_smt2.c
6
52.21
 -0.13% src/frontend/smt2/smt2_commands.c
3
24.58
 -0.84% src/utils/command_line.c
2
79.53
 0.34% src/mcsat/solver.c
Jobs
ID Job ID Ran Files Coverage
1 27047121822.1 492
68.99
 GitHub Action Run
Source Files on build 27047121822