SRI-CSL
/
yices2
/
1629
65%
|
Ran
|
Jobs
2
|
Files
470
|
Run time
12min
|
Badge
Embed ▾
README BADGES
|
coverage: 65.265% (-0.02%) from 65.284%
push
travis-ci
BrunoDutertre13 of 13 new or added lines in 2 files covered. (100.0%)
75982 of 116421 relevant lines covered (65.26%)
1534738.57 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 7 |
83.04 |
-2.78% | src/frontend/smt2/smt2_printer.c |
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
27.23 |
0.08% | src/api/yices_api.c |
| 2 |
83.04 |
-2.78% | src/frontend/smt2/smt2_printer.c |
| 3 |
72.35 |
-1.18% | src/model/val_to_term.c |
| 4 |
84.68 |
-0.09% | src/solvers/egraph/egraph.c |
| 24 |
55.2 |
-4.03% | src/solvers/egraph/egraph_explanations.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 5 | 1629.5 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") | 470 |
65.26 |
Travis Job 1629.5 | |
| 10 | 1629.10 (BUILD_TYPE=gcov ENABLE_COVERAGE=ON CONFIGURE_FLAGS="--enable-mcsat") | 0 |
0.0 |
Travis Job 1629.10 |
