Alan-Jowett / dagir / 19606269320
78%
main: 79%

LAST BUILD BRANCH: copilot/support-directed-cyclic-graphs
DEFAULT BRANCH: main
Ran
Jobs 1
Files 27
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 77.997% (-0.2%) from 78.244%
19606269320

Pull #51

github

web-flow 
Merge c5e1bf315 into 19d45eac2
Pull Request #51: Use string_view for IR attributes; add string_view_cache

1492 of 2072 branches covered (72.01%)

Branch coverage included in aggregate %.

188 of 205 new or added lines in 10 files covered. (91.71%)

1 existing line in 1 file now uncovered.

1241 of 1432 relevant lines covered (86.66%)

5687631.33 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
84.96
 1.2% include/dagir/utility/cudd/cudd_policy.hpp
2
67.93
 -1.74% include/dagir/render_dot.hpp
2
76.92
 -0.73% 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

Uncovered Existing Lines

Lines Coverage ∆ File
1
88.06
 0.9% include/dagir/utility/expressions/expression_policy.hpp
Jobs
ID Job ID Ran Files Coverage
1 19606269320.1 27
78.0
 GitHub Action Run
Source Files on build 19606269320