msakai / toysolver / 504
71%
master: 72%

LAST BUILD BRANCH: HEAD
DEFAULT BRANCH: master
Ran
Jobs 1
Files 115
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: 69.326% (-0.5%) from 69.86%
504

push

github

web-flow 
Merge ab19157fb into 5f69a541c

0 of 58 new or added lines in 3 files covered. (0.0%)

148 existing lines in 11 files now uncovered.

9818 of 14162 relevant lines covered (69.33%)

0.69 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
8
30.77
 -49.23% src/ToySolver/Converter/Tseitin.hs
15
21.43
 -24.73% src/ToySolver/Converter/Base.hs
35
52.67
 -19.2% src/ToySolver/SAT/Formula.hs

Uncovered Existing Lines

Lines Coverage ∆ File
1
72.73
 -3.03% src/ToySolver/SAT/Store/PB.hs
2
78.86
 -1.63% src/ToySolver/Arith/FourierMotzkin/Base.hs
2
83.93
 -0.89% src/ToySolver/SAT/PBO/Context.hs
2
68.33
 -0.56% src/ToySolver/Converter/PB.hs
2
59.77
 -1.15% src/ToySolver/Arith/Cooper/Base.hs
3
77.73
 -1.42% src/ToySolver/SAT/Types.hs
3
45.0
 -0.31% src/ToySolver/BitVector/Base.hs
7
71.43
 -8.33% src/ToySolver/Converter/SAT2MIS.hs
10
73.21
 1.68% src/ToySolver/SAT/Solver/CDCL.hs
15
39.39
 -45.45% src/ToySolver/SAT/PBO/UnsatBased.hs
101
16.13
 -54.3% src/ToySolver/SAT/PBO/BCD2.hs
Jobs
ID Job ID Ran Files Coverage
1 504.1 115
69.33
 GitHub Action Run
Source Files on build 504