SRI-CSL
/
yices2
/
67
67%
|
Ran
|
Jobs
1
|
Files
379
|
Run time
19s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
BrunoDutertre118 of 118 new or added lines in 14 files covered. (100.0%)
59056 of 89056 relevant lines covered (66.31%)
986841.42 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
100.0 |
src/frontend/smt2/smt2_commands.c | |
| 1 |
100.0 |
src/io/tracer.c | |
| 1 |
100.0 |
src/mcsat/variable_db.c | |
| 2 |
100.0 |
src/solvers/simplex/simplex.c | |
| 3 |
100.0 |
src/exists_forall/efsolver.c | |
| 3 |
100.0 |
src/mcsat/tracing.c | |
| 4 |
100.0 |
src/mcsat/preprocessor.c | |
| 10 |
100.0 |
src/mcsat/conflict.c | |
| 39 |
100.0 |
src/mcsat/solver.c |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
100.0 |
src/api/context_config.h | |
| 2 |
100.0 |
src/context/context_utils.h | |
| 2 |
100.0 |
src/context/context.h | |
| 2 |
100.0 |
src/model/concrete_values.h | |
| 2 |
100.0 |
src/mcsat/solver.c | |
| 2 |
100.0 |
src/terms/elim_subst.h | |
| 2 |
100.0 |
src/terms/power_products.h | |
| 2 |
100.0 |
src/utils/backtrack_arrays.h | |
| 3 |
100.0 |
src/utils/int_vectors.h | |
| 3 |
100.0 |
src/terms/bvpoly_buffers.h | |
| 3 |
100.0 |
src/parser_utils/tstack_internals.h | |
| 4 |
100.0 |
src/terms/mpq_aux.h | |
| 4 |
100.0 |
src/terms/rationals.h | |
| 4 |
100.0 |
src/context/internalization_table.h | |
| 4 |
100.0 |
src/solvers/egraph/egraph_base_types.h | |
| 6 |
100.0 |
src/utils/prng.h | |
| 8 |
100.0 |
src/terms/types.h | |
| 10 |
100.0 |
src/context/internalization_codes.h | |
| 10 |
100.0 |
src/utils/use_vectors.h | |
| 16 |
100.0 |
src/solvers/bv/bvpoly_dag.h | |
| 18 |
100.0 |
src/solvers/cdcl/smt_core.h | |
| 26 |
100.0 |
src/terms/terms.h |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 67.1 | 0 |
66.31 |
Travis Job 67.1 |
Source Files on build 67
Detailed source file information is not available for this build.