|
Ran
|
Jobs
1
|
Files
276
|
Run time
1min
|
Badge
README BADGES
|
push
github
357 of 423 new or added lines in 10 files covered. (84.4%)
9 existing lines in 3 files now uncovered.9711 of 15573 relevant lines covered (62.36%)
104.01 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
55.17 |
0.0% | src/builder/function_builder.cpp |
| 2 |
64.63 |
4.35% | src/symbolic/symbolic.cpp |
| 7 |
5.21 |
-0.23% | src/codegen/instrumentation/instrumentation_plan.cpp |
| 12 |
88.32 |
39.48% | src/symbolic/assumptions.cpp |
| 16 |
87.92 |
-0.18% | src/analysis/assumptions_analysis.cpp |
| 27 |
85.24 |
2.63% | src/analysis/flop_analysis.cpp |
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
85.24 |
2.63% | src/analysis/flop_analysis.cpp |
| 2 |
88.32 |
39.48% | src/symbolic/assumptions.cpp |
| 5 |
79.56 |
-1.46% | src/analysis/mem_access_range_analysis.cpp |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 18715914051.1 | 276 |
62.36 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|