Ran
|
Files
1615
|
Run time
43s
|
Badge
README BADGES
|
github
86622 of 131834 relevant lines covered (65.71%)
1387608.26 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/context/internalization_codes.h | 149 | 10 | 0 | 10 | 0.0 | |
0.0 | src/context/internalization_table.h | 361 | 4 | 0 | 4 | 0.0 | |
0.0 | src/context/dump_context.c | 171 | 57 | 0 | 57 | 0.0 | |
0.0 | src/api/context_config.h | 250 | 4 | 0 | 4 | 0.0 | |
0.0 | src/api/context_config.h | 250 | 2 - 2 | 0 | 2 - 2 | 0.0 | |
0.0 | src/context/common_conjuncts.c | 290 | 92 | 0 | 92 | 0.0 | |
0.0 | src/context/context_utils.h | 710 | 6 | 0 | 6 | 0.0 | |
0.0 | src/api/yval.c | 217 | 73 | 0 | 73 | 0.0 | |
0.0 | src/api/yices_error.c | 1130 | 741 | 0 | 741 | 0.0 | |
0.0 | src/frontend/common/bug_report.c | 55 | 17 | 0 | 17 | 0.0 |