Alan-Jowett / bdd_test / 19313625453
80%
main: 88%

LAST BUILD BRANCH: feature/expression-view-tests
DEFAULT BRANCH: main
Ran
Jobs 1
Files 14
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: 80.185% (+1.2%) from 79.009%
19313625453

Pull #48

github

web-flow 
Merge f3ffaa779 into aae38afa6
Pull Request #48: Fix CUDD reference output format to match TeDDy

1274 of 1690 branches covered (75.38%)

Branch coverage included in aggregate %.

0 of 48 new or added lines in 2 files covered. (0.0%)

2 existing lines in 2 files now uncovered.

1150 of 1333 relevant lines covered (86.27%)

74808.67 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
2
83.95
 -0.27% src/main.cpp
46
15.84
 -37.49% src/cudd_graph.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
15.84
 -37.49% src/cudd_graph.cpp
1
83.95
 -0.27% src/main.cpp
Jobs
ID Job ID Ran Files Coverage
1 19313625453.1 14
80.19
 GitHub Action Run
Source Files on build 19313625453