SRI-CSL
/
yices2
/
1185
63%
master: 65%
master: 65%
|
Ran
|
Jobs
2
|
Files
444
|
Run time
13min
|
Badge
Embed ▾
README BADGES
|
coverage: 62.577% (+0.02%) from 62.556%
push
travis-ci
BrunoDutertre68700 of 109785 relevant lines covered (62.58%)
1397306.34 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
91.55 |
-0.06% | src/solvers/bv/bvsolver.c |
| 2 |
97.14 |
0.0% | src/terms/rationals.h |
| 5 |
75.64 |
0.0% | src/mcsat/bv/explain/arith_norm.c |
| 10 |
88.84 |
-1.16% | src/terms/bvlogic_buffers.c |
| 15 |
91.85 |
0.94% | src/mcsat/bv/bv_utils.h |
| 30 |
83.5 |
0.82% | src/mcsat/bv/bv_evaluator.c |
| 65 |
86.72 |
0.33% | src/mcsat/bv/bv_plugin.c |
| 74 |
85.87 |
0.59% | src/mcsat/bv/bv_bdd_manager.c |
| 75 |
81.71 |
-0.19% | src/mcsat/bv/bdd_computation.c |
| 202 |
62.14 |
-0.07% | src/frontend/smt2/smt2_term_stack.c |
| 227 |
65.32 |
-1.94% | src/terms/rationals.c |
| 866 |
25.61 |
0.11% | src/api/yices_api.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 5 | 1185.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") | 444 |
62.58 |
Travis Job 1185.5 | |
| 10 | 1185.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") | 0 | Travis Job 1185.10 |
