daisytuner / sdfglib / 15680862811
62%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 199
Run time 2min
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

push

github

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

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

17 of 26 new or added lines in 1 file covered. (65.38%)

8020 of 12360 relevant lines covered (64.89%)

122.45 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
9
55.92
 1.95% src/symbolic/conjunctive_normal_form.cpp
Jobs
ID Job ID Ran Files Coverage
1 15680862811.1 199
64.89
 GitHub Action Run
Source Files on build 15680862811