chrjabs / rustsat / 22949346740
62%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 86
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: 61.755% (-0.2%) from 61.996%
22949346740

push

github

chrjabs 
feat: operators for generating formulas

126 of 272 new or added lines in 10 files covered. (46.32%)

96 existing lines in 2 files now uncovered.

14234 of 23049 relevant lines covered (61.76%)

142218.02 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
4
48.39
 0.16% src/instances/opt.rs
8
45.73
 0.04% src/instances/sat.rs
8
0.0
 0.0% tools/src/encodings/cnf/clustering.rs
126
24.55
 src/types/operators.rs

Uncovered Existing Lines

Lines Coverage ∆ File
1
0.0
 0.0% tools/src/encodings/cnf/clustering.rs
95
84.94
 1.83% src/types.rs
Jobs
ID Job ID Ran Files Coverage
1 22949346740.1 274
22.33
 GitHub Action Run
Source Files on build 22949346740