SRI-CSL / yices2 / 35596297524
71%
master: 71%

LAST BUILD BRANCH: pr
DEFAULT BRANCH: master
Ran
Jobs 1
Files 496
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: 71.198% (-0.01%) from 71.209%
35596297524

Pull #663

github

web-flow 
Merge 0dea868e8 into 8a8af407a
Pull Request #663: UF fix and various code cleanup

414 of 488 new or added lines in 10 files covered. (84.84%)

37 existing lines in 11 files now uncovered.

95590 of 134259 relevant lines covered (71.2%)

1809206.27 hits per line

Uncovered Changes

Lines Coverage ∆ File
25
65.52
 0.76% src/mcsat/conflict.c
21
80.58
 -0.18% src/mcsat/solver.c
14
91.38
 -0.27% src/mcsat/bool/bool_plugin.c
8
87.91
 0.07% src/mcsat/uf/uf_plugin.c
3
88.0
 0.0% src/mcsat/trail.c
1
33.77
 0.0% src/io/tracer.c
1
78.18
 0.0% src/mcsat/na/na_plugin.c
1
70.62
 -3.04% src/mcsat/utils/value_hash_map.c

Coverage Regressions

Lines Coverage ∆ File
8
70.62
 -3.04% src/mcsat/utils/value_hash_map.c
7
80.55
 -1.19% src/exists_forall/efsolver.c
7
65.52
 0.76% src/mcsat/conflict.c
6
92.27
 -0.8% src/mcsat/weq/weak_eq_graph.c
3
80.58
 -0.18% src/mcsat/solver.c
1
91.38
 -0.27% src/mcsat/bool/bool_plugin.c
1
68.06
 0.0% src/mcsat/bv/explain/eq_ext_con.c
1
72.21
 0.04% src/mcsat/eq/equality_graph.c
1
92.65
 -0.49% src/mcsat/eq/equality_sensitivity.c
1
88.0
 0.0% src/mcsat/trail.c
1
87.91
 0.07% src/mcsat/uf/uf_plugin.c
Jobs
ID Job ID Ran Files Coverage
1 35596297524.1 496
71.2
 GitHub Action Run
Source Files on build 35596297524