Ran
|
Files
1696
|
Run time
43s
|
Badge
README BADGES
|
push
github
90056 of 135123 relevant lines covered (66.65%)
1368864.74 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/context/internalization_table.h | 361 | 4 - 2 | 0 - 6 | 4 + 4 | 0.0 - 1446410 | |
0.0 | src/frontend/common/bug_report.c | 55 | 17 | 0 | 17 | 0.0 | |
0.0 | src/context/dump_context.c | 171 | 57 | 0 | 57 | 0.0 | |
0.0 | src/api/yval.c | 218 | 73 | 0 | 73 | 0.0 | |
0.0 | src/context/common_conjuncts.c | 290 | 92 | 0 | 92 | 0.0 | |
0.0 | src/context/internalization_codes.h | 149 | 10 + 6 | 0 - 4 | 10 + 10 | 0.0 - 187370 | |
0.0 | src/api/context_config.h | 250 | 4 | 0 - 4 | 4 + 4 | 0.0 - 1189 | |
0.0 | src/context/context_utils.h | 710 | 6 - 42 | 0 - 12 | 6 - 30 | 0.0 - 104 | |
0.0 | src/api/yices_error.c | 1158 | 759 | 0 | 759 | 0.0 | |
0.0 | src/frontend/smt1/smt_lexer.h | 154 | 3 | 0 | 3 | 0.0 |