chrjabs / rustsat / 15038705131
61%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 81
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: 57.736% (+0.1%) from 57.602%
15038705131

push

github

web-flow 
refactor(glucose): rework C-API (#380)

- don't convert to IPASIR literals
- pass slices between Rust and C
- makes wrapper type in C-API obsolete
- implement `reserve`

85 of 116 new or added lines in 3 files covered. (73.28%)

173 existing lines in 3 files now uncovered.

13262 of 22970 relevant lines covered (57.74%)

40520.74 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
13
56.99
 -0.42% glucose/src/core.rs
18
55.42
 5.76% glucose/src/simp.rs

Uncovered Existing Lines

Lines Coverage ∆ File
6
35.0
 7.22% minisat/src/lib.rs
78
56.99
 -0.42% minisat/src/core.rs
89
54.35
 4.69% minisat/src/simp.rs
Jobs
ID Job ID Ran Files Coverage
1 15038705131.1 81
57.74
 GitHub Action Run
Source Files on build 15038705131