msakai / toysolver / 844
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.27% (-0.7%) from 71.019%
844

push

github

web-flow 
Merge 5ba0492b0 into 195757ed9

11258 of 16021 relevant lines covered (70.27%)

0.7 hits per line

Coverage Regressions

Lines Coverage ∆ File
65
36.56
-34.95% src/ToySolver/SAT/PBO/BCD2.hs
44
49.52
-17.14% src/ToySolver/SAT/PBO.hs
10
60.53
-26.32% src/ToySolver/SAT/PBO/BC.hs
9
78.15
-0.93% src/ToySolver/SMT.hs
8
65.15
-12.12% src/ToySolver/SAT/PBO/BCD.hs
8
74.08
-0.08% src/ToySolver/SAT/Solver/CDCL.hs
7
60.87
0.72% src/ToySolver/QBF.hs
2
83.93
-1.79% src/ToySolver/SAT/PBO/Context.hs
1
82.87
0.0% src/ToySolver/FileFormat/CNF.hs
1
79.4
-0.43% src/ToySolver/SAT/Types.hs
Jobs
ID Job ID Ran Files Coverage
1 844.1 124
70.27
GitHub Action Run
Source Files on build 844