msakai / toysolver / 509
71%
master: 71%

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.416% (-0.2%) from 69.652%
509

push

github

web-flow 
Merge e58f08619 into e6360e5bb

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

43 existing lines in 11 files now uncovered.

9821 of 14148 relevant lines covered (69.42%)

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
61.23
 1.45% src/ToySolver/QBF.hs
1
70.37
 -1.23% src/ToySolver/Data/LA.hs
1
87.16
 0.0% src/ToySolver/SAT/Encoder/Tseitin.hs
1
86.0
 -2.0% src/ToySolver/SAT/Encoder/Cardinality/Internal/ParallelCounter.hs
1
84.21
 -2.63% src/ToySolver/SAT/PBO/BC.hs
1
86.84
 0.26% src/ToySolver/BitVector/Solver.hs
5
44.38
 0.0% src/ToySolver/BitVector/Base.hs
6
72.47
 -0.04% src/ToySolver/SAT/Solver/CDCL.hs
7
32.8
 -3.76% src/ToySolver/SAT/PBO/BCD2.hs
9
44.29
 -4.29% src/ToySolver/SAT/PBO.hs
10
78.71
 -1.04% src/ToySolver/SMT.hs
Jobs
ID Job ID Ran Files Coverage
1 509.1 115
69.42
 GitHub Action Run
Source Files on build 509