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

LAST BUILD BRANCH: L2O_calc_update
DEFAULT BRANCH: master
Ran
Jobs 1
Files 492
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: 69.022% (+0.02%) from 69.005%
27044901498

Pull #635

github

web-flow 
Merge 275f2ade1 into e9b6610a2
Pull Request #635: MCSAT: L2O

1140 of 1587 new or added lines in 19 files covered. (71.83%)

2 existing lines in 1 file now uncovered.

89103 of 129094 relevant lines covered (69.02%)

1989935.18 hits per line

Uncovered Changes

Lines Coverage ∆ File
237
57.07
 src/mcsat/l2o/evaluator.c
106
75.85
 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.39
 0.05% 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
2
79.53
 0.34% src/mcsat/solver.c
Jobs
ID Job ID Ran Files Coverage
1 27044901498.1 492
69.02
 GitHub Action Run
Source Files on build 27044901498