daisytuner / sdfglib / 15909488298
40%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 210
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: 65.099% (+0.008%) from 65.091%
15909488298

push

github

web-flow 
Merge pull request #111 from daisytuner/map-intervall-analysis

Adds intervall analysis to prove disjoint maps

28 of 47 new or added lines in 2 files covered. (59.57%)

1 existing line in 1 file now uncovered.

8541 of 13120 relevant lines covered (65.1%)

145.28 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
4
72.85
 2.69% src/symbolic/maps.cpp
15
86.55
 -2.61% src/symbolic/utils.cpp

Uncovered Existing Lines

Lines Coverage ∆ File
1
86.55
 -2.61% src/symbolic/utils.cpp
Jobs
ID Job ID Ran Files Coverage
1 15909488298.1 210
65.1
 GitHub Action Run
Source Files on build 15909488298