msakai / toysolver / 833
71%
master: 71%

LAST BUILD BRANCH: HEAD
DEFAULT BRANCH: master
Ran
Jobs 1
Files 124
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: 70.857% (-0.03%) from 70.887%
833

push

github

web-flow 
Merge 90bcc93e1 into 28872ad9f

5 of 9 new or added lines in 2 files covered. (55.56%)

54 existing lines in 9 files now uncovered.

11352 of 16021 relevant lines covered (70.86%)

0.71 hits per line

Uncovered Changes

Lines Coverage ∆ File
3
78.39
 -0.23% src/ToySolver/SMT.hs
1
50.58
 0.5% src/ToySolver/SMT/SMTLIB2Solver.hs

Coverage Regressions

Lines Coverage ∆ File
27
56.67
 -8.1% src/ToySolver/SAT/PBO.hs
12
74.36
 0.12% src/ToySolver/SAT/Solver/CDCL.hs
5
61.23
 1.81% src/ToySolver/QBF.hs
4
78.39
 -0.23% src/ToySolver/SMT.hs
2
43.59
 -0.32% src/ToySolver/BitVector/Base.hs
1
79.67
 0.0% src/ToySolver/Arith/FourierMotzkin/Base.hs
1
86.52
 -0.27% src/ToySolver/BitVector/Solver.hs
1
86.0
 -2.0% src/ToySolver/SAT/Encoder/Cardinality/Internal/ParallelCounter.hs
1
87.5
 -3.13% src/ToySolver/SAT/PBO/MSU4.hs
Jobs
ID Job ID Ran Files Coverage
1 833.1 124
70.86
 GitHub Action Run
Source Files on build 833