chrjabs / rustsat / 21947655100
62%
main: 62%

LAST BUILD BRANCH: parser-rewrite
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: 60.476% (-0.3%) from 60.815%
21947655100

Pull #598

github

web-flow 
Merge e3de76680 into 0a46d8409
Pull Request #598: Major parser rewrite

1241 of 1649 new or added lines in 20 files covered. (75.26%)

33 existing lines in 9 files now uncovered.

13757 of 22748 relevant lines covered (60.48%)

141613.94 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
1
57.72
 0.19% src/types/constraints.rs
1
95.59
 -1.13% src/utils.rs
3
45.08
 -0.52% src/instances.rs
6
0.0
 0.0% tools/src/bin/check-solution.rs
6
91.89
 -4.93% tools/src/parsing.rs
7
0.0
 0.0% tools/src/bin/enumerator.rs
7
0.0
 0.0% tools/src/bin/mo2ilp.rs
8
0.0
 0.0% tools/src/bin/propagator.rs
10
21.74
 13.37% src/instances/multiopt.rs
11
46.07
 2.03% src/instances/opt.rs
11
82.88
 -7.81% tools/src/encodings/assignment.rs
16
0.0
 0.0% tools/src/encodings/cnf/clustering.rs
17
83.94
 -2.8% src/instances/fio.rs
17
83.11
 -0.91% src/types.rs
18
24.55
 -0.17% tools/src/bin/gbmosplit.rs
25
45.23
 -0.97% src/instances/sat.rs
27
72.44
 -3.84% tools/src/encodings/knapsack.rs
35
79.36
 -1.55% src/instances/fio/opb.rs
182
74.83
 -17.78% src/instances/fio/dimacs.rs

Uncovered Existing Lines

Lines Coverage ∆ File
1
0.0
 0.0% tools/src/bin/check-solution.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
2
79.36
 -1.55% src/instances/fio/opb.rs
3
74.83
 -17.78% src/instances/fio/dimacs.rs
3
21.74
 13.37% src/instances/multiopt.rs
8
45.23
 -0.97% src/instances/sat.rs
13
46.07
 2.03% src/instances/opt.rs
Jobs
ID Job ID Ran Files Coverage
1 21947655100.1 269
21.93
 GitHub Action Run
Source Files on build 21947655100