SRI-CSL
/
yices2
/
264
67%
master: 65%
master: 65%
|
Ran
|
Jobs
1
|
Files
383
|
Run time
22s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
web-flow230 of 230 new or added lines in 13 files covered. (100.0%)
60119 of 90042 relevant lines covered (66.77%)
1238101.38 hits per line
New Missed Lines in Diff
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
100.0 |
src/frontend/yices_smtcomp.c | |
| 2 |
100.0 |
src/api/context_config.c | |
| 3 |
100.0 |
src/context/context.c | |
| 4 |
100.0 |
src/solvers/simplex/gomory_cuts.c | |
| 7 |
100.0 |
src/solvers/simplex/simplex.c | |
| 29 |
100.0 |
src/frontend/smt2/smt2_parser.c | |
| 30 |
100.0 |
src/frontend/smt2/smt2_term_stack.c | |
| 32 |
100.0 |
src/frontend/yices/yices_reval.c | |
| 38 |
100.0 |
src/frontend/smt2/smt2_commands.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 264.1 | 0 |
66.77 |
Travis Job 264.1 |
Source Files on build 264
Detailed source file information is not available for this build.