SRI-CSL / yices2 / 1596
65%
master: 66%

LAST BUILD BRANCH: reintroduce-interval-approx-nra
DEFAULT BRANCH: master
Ran
Jobs 2
Files 470
Run time 15min
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: 65.262% (-0.3%) from 65.54%
1596

Pull #354

travis-ci

web-flow 
Merge c2138d52d into 99297288d
Pull Request #354: Interpolation/Generalization for nonlinear arithmetic with MCSAT

801 of 801 new or added lines in 19 files covered. (100.0%)

75926 of 116340 relevant lines covered (65.26%)

1513344.14 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
0.0
 0.0% src/model/generalization.c
2
77.97
 -1.34% src/context/context_utils.h
3
57.71
 0.0% src/mcsat/nra/poly_constraint.c
4
22.28
 -0.47% src/api/context_config.c
4
0.0
 0.0% src/api/yices_error.c
4
78.34
 -0.15% src/mcsat/solver.c
11
76.54
 -0.36% src/mcsat/nra/nra_plugin.c
13
64.39
 -4.38% src/mcsat/conflict.c
22
47.5
 -1.55% src/model/literal_collector.c
28
82.44
 -7.16% src/model/projection.c
82
80.8
 -6.57% src/model/model_eval.c
100
56.46
 -32.5% src/mcsat/nra/libpoly_utils.c
108
68.32
 -10.67% src/mcsat/nra/nra_plugin_explain.c
141
26.99
 -0.71% src/api/yices_api.c

Uncovered Existing Lines

Lines Coverage ∆ File
1
26.99
 -0.71% src/api/yices_api.c
1
76.54
 -0.36% src/mcsat/nra/nra_plugin.c
1
47.5
 -1.55% src/model/literal_collector.c
10
64.39
 -4.38% src/mcsat/conflict.c
17
66.4
 -6.72% src/mcsat/value.c
39
62.17
 -14.61% src/mcsat/utils/substitution.c
Jobs
ID Job ID Ran Files Coverage
5 1596.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") 470
65.26
 Travis Job 1596.5
10 1596.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") 0
0.0
 Travis Job 1596.10
Source Files on build 1596