|
Ran
|
Jobs
1
|
Files
27
|
Run time
1min
|
Badge
README BADGES
|
github
1579 of 2172 branches covered (72.7%)
Branch coverage included in aggregate %.
147 of 163 new or added lines in 10 files covered. (90.18%)
36 existing lines in 9 files now uncovered.1209 of 1406 relevant lines covered (85.99%)
5792599.64 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
67.7 |
-1.98% | include/dagir/render_dot.hpp |
| 2 |
75.65 |
-1.2% | tests/test_build_ir.cpp |
| 3 |
75.44 |
-2.21% | include/dagir/render_mermaid.hpp |
| 4 |
90.43 |
-3.39% | include/dagir/build_ir.hpp |
| 6 |
68.62 |
-2.94% | examples/expression2bdd/main.cpp |
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
85.11 |
0.0% | include/dagir/utility/teddy/teddy_read_only_dag_view.hpp |
| 2 |
84.92 |
1.16% | include/dagir/utility/cudd/cudd_policy.hpp |
| 2 |
88.82 |
1.66% | include/dagir/utility/expressions/expression_policy.hpp |
| 2 |
89.8 |
0.0% | include/dagir/utility/teddy/teddy_convert_expression.hpp |
| 2 |
84.68 |
1.35% | include/dagir/utility/teddy/teddy_policy.hpp |
| 3 |
77.49 |
0.0% | include/dagir/render_json.hpp |
| 4 |
90.43 |
-3.39% | include/dagir/build_ir.hpp |
| 6 |
75.44 |
-2.21% | include/dagir/render_mermaid.hpp |
| 14 |
67.7 |
-1.98% | include/dagir/render_dot.hpp |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 19605606844.1 | 27 |
77.92 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
|---|