|
Ran
|
Jobs
1
|
Files
27
|
Run time
1min
|
Badge
README BADGES
|
github
1498 of 2076 branches covered (72.16%)
Branch coverage included in aggregate %.
191 of 208 new or added lines in 10 files covered. (91.83%)
1 existing line in 1 file now uncovered.1245 of 1435 relevant lines covered (86.76%)
5675953.36 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
86.55 |
2.79% | include/dagir/utility/cudd/cudd_policy.hpp |
| 2 |
67.93 |
-1.74% | include/dagir/render_dot.hpp |
| 2 |
77.01 |
-0.65% | include/dagir/render_mermaid.hpp |
| 2 |
75.65 |
-1.2% | tests/test_build_ir.cpp |
| 4 |
90.43 |
-3.39% | include/dagir/build_ir.hpp |
| 6 |
69.21 |
-2.35% | examples/expression2bdd/main.cpp |
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
88.06 |
0.9% | include/dagir/utility/expressions/expression_policy.hpp |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 19606545110.1 | 27 |
78.13 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
|---|