Ran
|
Files
1696
|
Run time
40s
|
Badge
README BADGES
|
push
github
90080 of 135118 relevant lines covered (66.67%)
1376532.18 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/context/internalization_table.h | 361 | 4 + 2 | 0 - 2 | 4 + 4 | 0.0 - 1716048 | |
0.0 | src/frontend/common/bug_report.c | 55 | 17 | 0 | 17 | 0.0 | |
0.0 | src/context/internalization_codes.h | 149 | 10 + 6 | 0 - 2 | 10 + 8 | 0.0 - 6849 | |
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/context_utils.h | 710 | 6 - 3 | 0 - 9 | 6 + 6 | 0.0 - 4418 | |
0.0 | src/api/context_config.h | 250 | 4 | 0 - 4 | 4 + 4 | 0.0 - 1191 | |
0.0 | src/context/dump_context.c | 171 | 57 | 0 | 57 | 0.0 | |
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 |