msakai / toysolver / 496
72%

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.994% (-1.1%) from 71.113%
496

push

github

web-flow 
Merge pull request #117 from msakai/update-coveralls-and-haddock

GitHub Actions: Update coveralls and haddock configuration

9872 of 14104 relevant lines covered (69.99%)

0.7 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
98.67
 -1.33% src/ToySolver/SAT/Encoder/PB/Internal/Adder.hs
1
66.67
 -1.33% src/ToySolver/SAT/MUS/Enum.hs
1
94.29
 -2.86% src/ToySolver/Converter/PB/Internal/Product.hs
1
61.59
 2.54% src/ToySolver/QBF.hs
1
86.84
 -2.63% src/ToySolver/Arith/ContiTraverso.hs
1
70.69
 -1.24% src/ToySolver/Combinatorial/HittingSet/InterestingSets.hs
1
79.75
 -0.61% src/ToySolver/Text/SDPFile.hs
1
95.0
 -5.0% src/ToySolver/Combinatorial/HittingSet/Simple.hs
1
78.86
 -0.81% src/ToySolver/Arith/FourierMotzkin/Base.hs
1
85.71
 -1.56% src/ToySolver/QUBO.hs
1
87.16
 -0.46% src/ToySolver/SAT/Encoder/Tseitin.hs
1
88.0
 0.0% src/ToySolver/SAT/Encoder/Cardinality/Internal/ParallelCounter.hs
1
73.53
 -2.94% src/ToySolver/Internal/Util.hs
1
95.0
 0.0% src/ToySolver/Combinatorial/Knapsack/BB.hs
1
81.86
 -0.18% src/ToySolver/EUF/CongruenceClosure.hs
1
92.86
 -3.57% src/ToySolver/SAT/Encoder/PB/Internal/BDD.hs
1
84.38
 -3.13% src/ToySolver/SAT/PBO/MSU4.hs
1
86.84
 42.11% src/ToySolver/SAT/PBO/BC.hs
1
82.52
 -0.97% src/ToySolver/Converter/SAT2MaxSAT.hs
1
54.35
 -0.2% src/ToySolver/Data/OrdRel.hs
1
67.25
 -0.2% src/ToySolver/SAT/Solver/SLS/ProbSAT.hs
1
63.16
 -2.63% src/ToySolver/Converter/SAT2MaxCut.hs
1
85.14
 -1.35% src/ToySolver/SAT/Encoder/Cardinality/Internal/Totalizer.hs
1
77.27
 -3.68% src/ToySolver/Internal/Data/SeqQueue.hs
1
0.0
 0.0% src/ToySolver/FileFormat/Base.hs
1
83.43
 -0.55% src/ToySolver/FileFormat/CNF.hs
1
81.67
 -0.69% src/ToySolver/Internal/Data/IndexedPriorityQueue.hs
2
60.47
 -4.65% src/ToySolver/Converter/PB/Internal/LargestIntersectionFinder.hs
2
52.38
 7.62% src/ToySolver/SAT/PBO.hs
2
30.0
 -7.5% src/ToySolver/Data/DNF.hs
2
71.43
 -6.35% src/ToySolver/SAT/Encoder/Cardinality.hs
2
69.57
 -8.7% src/ToySolver/Data/Polynomial/Factorization/SquareFree.hs
2
57.14
 -2.43% src/ToySolver/SAT/Encoder/PB.hs
2
33.33
 -1.75% src/ToySolver/Combinatorial/Knapsack/DPSparse.hs
2
71.74
 2.69% src/ToySolver/Data/Delta.hs
2
75.76
 -3.55% src/ToySolver/SAT/Store/PB.hs
2
57.89
 -8.77% src/ToySolver/Data/LBool.hs
3
87.5
 -3.75% src/ToySolver/Converter/NAESAT.hs
3
52.56
 -0.86% src/ToySolver/EUF/FiniteModelFinder.hs
4
71.79
 -9.29% src/ToySolver/Data/Polynomial/GroebnerBasis.hs
4
70.37
 -3.99% src/ToySolver/Data/LA.hs
4
80.0
 -6.67% src/ToySolver/Data/AlgebraicNumber/Sturm.hs
4
68.89
 -0.83% src/ToySolver/Converter/PB.hs
4
84.82
 -3.57% src/ToySolver/SAT/Encoder/PB/Internal/Sorter.hs
5
74.69
 -3.09% src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs
5
73.61
 -6.94% src/ToySolver/SAT/Encoder/PB/Internal/BCCNF.hs
5
57.93
 -2.91% src/ToySolver/Graph/ShortestPath.hs
5
81.25
 -7.81% src/ToySolver/Data/Polynomial/Factorization/FiniteField.hs
5
60.92
 -2.24% src/ToySolver/Arith/Cooper/Base.hs
5
86.84
 -1.32% src/ToySolver/BitVector/Solver.hs
5
65.22
 -3.11% src/ToySolver/Arith/Simplex/Textbook.hs
6
78.94
 -0.25% src/ToySolver/SMT.hs
6
79.15
 -1.42% src/ToySolver/SAT/Types.hs
6
47.34
 -1.68% src/ToySolver/Arith/CAD.hs
7
54.59
 -1.75% src/ToySolver/Data/AlgebraicNumber/Real.hs
7
33.33
 -3.76% src/ToySolver/SAT/PBO/BCD2.hs
8
71.88
 -6.29% src/ToySolver/SAT/Formula.hs
9
60.4
 -4.46% src/ToySolver/Combinatorial/SubsetSum.hs
10
46.99
 -7.07% src/ToySolver/Data/BoolExpr.hs
17
86.74
 -9.39% src/ToySolver/Combinatorial/BipartiteMatching.hs
25
45.63
 -5.18% src/ToySolver/BitVector/Base.hs
25
75.54
 -6.85% src/ToySolver/Data/Polynomial/Base.hs
66
71.94
 -2.21% src/ToySolver/SAT/Solver/CDCL.hs
Jobs
ID Job ID Ran Files Coverage
1 496.1 115
69.99
 GitHub Action Run
Source Files on build 496