chrjabs / rustsat / 21958406699
62%

DEFAULT BRANCH: main
Ran
Jobs 1
Files 85
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.964% (+1.1%) from 60.815%
21958406699

push

github

chrjabs 
refactor: migrate `rustsat-tools` parsers to `winnow`

closes #564

241 of 301 new or added lines in 6 files covered. (80.07%)

1102 existing lines in 16 files now uncovered.

14178 of 22881 relevant lines covered (61.96%)

140791.04 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
6
91.89
 -4.93% tools/src/parsing.rs
11
82.88
 -7.81% tools/src/encodings/assignment.rs
16
0.0
 0.0% tools/src/encodings/cnf/clustering.rs
27
72.44
 -3.84% tools/src/encodings/knapsack.rs

Uncovered Existing Lines

Lines Coverage ∆ File
1
95.59
 -1.13% src/utils.rs
1
82.88
 -7.81% tools/src/encodings/assignment.rs
1
0.0
 0.0% tools/src/encodings/cnf/clustering.rs
1
72.44
 -3.84% tools/src/encodings/knapsack.rs
5
0.0
 0.0% tools/src/bin/check-solution.rs
6
0.0
 0.0% tools/src/bin/propagator.rs
28
88.76
 2.01% src/instances/fio.rs
28
24.55
 -0.17% tools/src/bin/gbmosplit.rs
39
92.44
 11.53% src/instances/fio/opb.rs
46
45.08
 -0.52% src/instances.rs
50
28.99
 20.62% src/instances/multiopt.rs
71
92.69
 0.09% src/instances/fio/dimacs.rs
113
83.11
 -0.91% src/types.rs
185
45.69
 -0.51% src/instances/sat.rs
187
47.53
 3.49% src/instances/opt.rs
340
57.72
 0.19% src/types/constraints.rs
Jobs
ID Job ID Ran Files Coverage
1 21958406699.1 269
22.42
 GitHub Action Run
Source Files on build 21958406699