SRI-CSL
/
yices2
/
1102
66%
|
Ran
|
Jobs
2
|
Files
442
|
Run time
10min
|
Badge
Embed ▾
README BADGES
|
coverage: 62.508% (-0.003%) from 62.511%
push
travis-ci
dddejan660 of 660 new or added lines in 12 files covered. (100.0%)
68097 of 108941 relevant lines covered (62.51%)
1389253.47 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
75.64 |
0.0% | src/mcsat/bv/explain/arith_norm.c |
| 1 |
99.6 |
0.0% | src/mcsat/bv/explain/arith_utils.c |
| 2 |
37.1 |
0.0% | src/frontend/yices_smt2.c |
| 4 |
79.38 |
0.0% | src/terms/bv_constants.c |
| 7 |
40.09 |
0.0% | src/frontend/smt2/smt2_commands.c |
| 22 |
73.97 |
0.0% | src/context/context_solver.c |
| 27 |
0.0 |
0.0% | src/solvers/cdcl/delegate.c |
| 486 |
0.0 |
0.0% | src/solvers/cdcl/new_sat_solver.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 5 | 1102.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") | 442 |
62.51 |
Travis Job 1102.5 | |
| 10 | 1102.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") | 0 | Travis Job 1102.10 |
