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

LAST BUILD BRANCH: reintroduce-interval-approx-nra
DEFAULT BRANCH: master
Ran
Jobs 2
Files 446
Run time 13min
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: 63.617% (+0.2%) from 63.395%
1314

Pull #234

travis-ci

web-flow 
Merge d9fd710b2 into cd6acfb28
Pull Request #234: Quantifiers

1073 of 1073 new or added lines in 14 files covered. (100.0%)

70727 of 111176 relevant lines covered (63.62%)

1339094.13 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
21.2
 -0.12% src/api/context_config.c
1
0.0
 0.0% src/model/generalization.c
1
67.49
 7.03% src/terms/term_substitution.c
2
26.12
 0.28% src/api/yices_api.c
5
80.68
 0.51% src/exists_forall/ef_analyze.c
6
78.83
 -0.45% src/exists_forall/ef_problem.c
43
40.59
 -12.17% src/model/val_to_term.c
52
73.8
 -1.14% src/exists_forall/efsolver.c
86
46.95
 -8.87% src/io/yices_pp.c
105
66.98
 src/exists_forall/ef_skolemize.c
203
45.28
 src/exists_forall/ef_values.c

Uncovered Existing Lines

Lines Coverage ∆ File
1
80.68
 0.51% src/exists_forall/ef_analyze.c
1
78.83
 -0.45% src/exists_forall/ef_problem.c
8
26.12
 0.28% src/api/yices_api.c
11
78.95
 -0.47% src/solvers/cdcl/smt_core.c
Jobs
ID Job ID Ran Files Coverage
5 1314.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") 446
63.62
 Travis Job 1314.5
10 1314.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") 0
0.0
 Travis Job 1314.10
Source Files on build 1314