daisytuner / sdfglib / 15680862811 / 1
65%
main: 65%

DEFAULT BRANCH: main
Ran
Files 199
Run time 6s
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: 64.887% (+0.001%) from 64.886%
15680862811.1

push

github

web-flow 
Merge pull request #80 from daisytuner/cnf-equality-folding

Fix: fold equality-based inversions into CNF of boolean expressions

8020 of 12360 relevant lines covered (64.89%)

122.45 hits per line

Source Files on job 15680862811.1