SRI-CSL / yices2 / 27077172648
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.005% (-0.01%) from 69.018%
27077172648

Pull #635

github

web-flow 
Merge 0d0e902a4 into d00adb6a8
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.

89096 of 129115 relevant lines covered (69.01%)

1585625.27 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.55
 0.14% 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.55
 0.14% src/mcsat/solver.c
Jobs
ID Job ID Ran Files Coverage
1 27077172648.1 492
69.01
 GitHub Action Run
Source Files on build 27077172648