Ran
|
Files
1625
|
Run time
57s
|
Badge
README BADGES
|
github
87926 of 132521 relevant lines covered (66.35%)
1359636.52 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/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/context_config.h | 250 | 4 + 2 | 0 - 2 | 4 + 4 | 0.0 - 11 | |
0.0 | src/context/common_conjuncts.c | 290 | 92 | 0 | 92 | 0.0 | |
0.0 | src/context/internalization_table.h | 361 | 4 | 0 | 4 | 0.0 | |
0.0 | src/api/yval.c | 217 | 73 | 0 | 73 | 0.0 | |
0.0 | src/context/context_utils.h | 710 | 6 - 42 | 0 - 10 | 6 - 32 | 0.0 - 325 | |
0.0 | src/api/yices_error.c | 1130 | 741 | 0 | 741 | 0.0 | |
0.0 | src/frontend/smt1/smt_lexer.h | 154 | 3 | 0 | 3 | 0.0 |