chrjabs / rustsat / 30692285650
62%
main: 62%

LAST BUILD BRANCH: push-nyzkrsouwoxk
DEFAULT BRANCH: main
Ran
Jobs 1
Files 92
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.972% (-0.03%) from 62.005%
30692285650

Pull #729

github

web-flow 
Merge 19c468eae into 17663511f
Pull Request #729: Move towards following stricter Rust style rules

14471 of 23351 relevant lines covered (61.97%)

140136.11 hits per line

Coverage Regressions

Lines Coverage ∆ File
322
52.7
 0.15% src/instances/opt.rs
225
22.98
 0.0% src/encodings/pb/simulators.rs
190
64.94
 0.0% cadical/src/lib.rs
152
44.52
 -1.2% src/instances/sat.rs
131
40.82
 0.0% src/encodings/card/simulators.rs
103
74.65
 -0.96% pigeons/src/lib.rs
96
28.67
 -0.3% src/instances/multiopt.rs
93
38.85
 -0.27% pigeons/src/types.rs
76
0.0
 0.0% tools/src/encodings/cnf/clustering.rs
70
32.03
 0.0% cadical/src/prooftracer.rs
69
93.99
 -0.27% src/encodings/totdb/cert.rs
68
24.55
 0.0% src/types/operators.rs
66
0.0
 0.0% tools/src/bin/mo2ilp.rs
65
0.0
 0.0% ipasir/src/lib.rs
52
57.65
 1.21% kissat/src/lib.rs
52
92.76
 0.1% src/instances/fio/dimacs.rs
52
92.78
 0.06% src/instances/fio/opb.rs
51
79.3
 0.0% src/encodings/nodedb.rs
48
72.4
 -0.42% glucose/src/core.rs
48
71.43
 0.0% pigeons/src/ops.rs
47
72.66
 -0.43% minisat/src/core.rs
46
10.64
 0.0% src/encodings/card/cert.rs
46
4.93
 -0.14% tools/src/bin/encodings.rs
41
0.0
 0.0% tools/src/bin/enumerator.rs
40
75.08
 0.08% minisat/src/simp.rs
40
68.92
 0.99% src/solvers/external.rs
39
91.49
 0.05% src/encodings/pb/adder.rs
35
0.0
 0.0% capi/src/encodings/am1.rs
35
57.36
 -0.28% src/types/constraints.rs
34
0.0
 0.0% src/encodings/pb/cert.rs
32
63.64
 0.0% batsat/src/lib.rs
32
74.84
 0.0% glucose/src/simp.rs
31
0.0
 0.0% tools/src/bin/propagator.rs
28
0.0
 0.0% tools/src/bin/check-solution.rs
25
0.0
 0.0% tools/src/encodings/pb/facilitylocation.rs
19
0.0
 0.0% tools/src/encodings/pb/assignment.rs
18
72.77
 0.0% tools/src/encodings/knapsack.rs
17
0.0
 0.0% capi/src/encodings/card.rs
17
55.3
 0.0% src/encodings/atomics.rs
14
0.0
 0.0% tools/src/bin/shuffledimacs.rs
12
73.05
 0.0% src/solvers/simulators.rs
11
0.0
 0.0% tools/src/bin/opb2wcnf.rs
11
83.64
 0.0% tools/src/encodings/assignment.rs
11
0.0
 0.0% tools/src/encodings/pb/knapsack.rs
9
0.0
 0.0% tools/src/bin/mcnf2opb.rs
9
0.0
 0.0% tools/src/bin/opb2mcnf.rs
9
0.0
 0.0% tools/src/bin/wcnf2opb.rs
9
68.82
 0.69% tools/src/encodings/facilitylocation.rs
8
0.0
 0.0% tools/src/bin/cnf2opb.rs
8
0.0
 0.0% tools/src/bin/opb2cnf.rs
8
0.0
 0.0% tools/src/encodings/cnf/knapsack.rs
5
0.0
 0.0% capi/src/encodings/dpw.rs
5
91.89
 0.0% tools/src/parsing.rs
4
38.46
 -21.54% glucose/src/lib.rs
4
38.46
 -21.54% minisat/src/lib.rs
4
95.12
 0.0% solvertests/src/integration.rs
3
90.0
 0.0% src/algs/maxsat.rs
2
95.38
 0.0% src/encodings/am1/bimander.rs
1
95.95
 1.28% src/encodings/am1/ladder.rs
1
94.12
 0.0% src/encodings/am1/pairwise.rs
1
96.2
 0.0% src/encodings/am1/twoproduct.rs
1
83.33
 0.0% src/lib.rs
Jobs
ID Job ID Ran Files Coverage
1 30692285650.1 276
23.2
 GitHub Action Run
Source Files on build 30692285650