msakai / toysolver / 133
71%
master: 70%

LAST BUILD BRANCH: HEAD
DEFAULT BRANCH: master
Ran
Jobs 1
Files 113
Run time 9s
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
133

push

github-actions

Masahiro Sakai 
avoid ld path issue on GHC-8.10.2 on x86_64-windows

9868 of 13783 relevant lines covered (71.6%)

0.72 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
69.5
 -0.13% src/ToySolver/Arith/Simplex.hs
1
63.87
 2.55% src/ToySolver/QBF.hs
1
86.3
 0.0% src/ToySolver/SAT/Encoder/Tseitin.hs
1
69.35
 1.61% src/ToySolver/SAT/PBO/BCD2.hs
1
84.82
 -0.89% src/ToySolver/SAT/PBO/Context.hs
2
79.31
 0.23% src/ToySolver/SMT.hs
3
80.57
 -1.42% src/ToySolver/SAT/Types.hs
4
74.81
 1.36% src/ToySolver/SAT/Solver/CDCL.hs
5
50.81
 -0.97% src/ToySolver/BitVector/Base.hs
14
39.39
 -42.42% src/ToySolver/SAT/PBO/UnsatBased.hs
18
31.25
 -56.25% src/ToySolver/SAT/PBO/MSU4.hs
31
15.15
 -46.97% src/ToySolver/SAT/PBO/BCD.hs
34
48.1
 -12.38% src/ToySolver/SAT/PBO.hs
Jobs
ID Job ID Ran Files Coverage
1 133.1 113
71.6
Source Files on build 133