SRI-CSL
/
yices2
/
972
66%
|
Ran
|
Jobs
1
|
Files
411
|
Run time
23s
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
BrunoDutertre61219 of 99561 relevant lines covered (61.49%)
1194431.41 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 28 |
86.04 |
0.0% | src/terms/terms.h |
| 94 |
86.2 |
0.0% | src/context/context_simplifier.c |
| 251 |
73.67 |
-1.72% | src/terms/terms.c |
| 2294 |
23.0 |
0.08% | src/api/yices_api.c |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 972.1 | 411 |
61.49 |
Travis Job 972.1 |
