msakai / toysolver / 490
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: 70.449% (-0.7%) from 71.177%
490

push

github

web-flow 
Merge pull request #116 from msakai/macos-aarch64-x86_64

GitHub Actions: build x86_64 and aarch64 binaries for macos

9860 of 13996 relevant lines covered (70.45%)

0.7 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
83.69
 -0.71% src/ToySolver/Arith/OmegaTest/Base.hs
2
80.49
 0.0% src/ToySolver/Arith/FourierMotzkin/Base.hs
2
51.13
 0.65% src/ToySolver/BitVector/Base.hs
2
52.74
 -0.68% src/ToySolver/EUF/FiniteModelFinder.hs
2
61.99
 -1.17% src/ToySolver/Arith/Cooper/Base.hs
5
79.19
 -0.58% src/ToySolver/SMT.hs
7
71.43
 -8.33% src/ToySolver/Converter/SAT2MIS.hs
10
60.53
 -26.32% src/ToySolver/SAT/PBO/BC.hs
23
25.76
 -34.85% src/ToySolver/SAT/PBO/BCD.hs
31
71.84
 -1.2% src/ToySolver/SAT/Solver/CDCL.hs
37
44.29
 -17.62% src/ToySolver/SAT/PBO.hs
Jobs
ID Job ID Ran Files Coverage
1 490.1 115
70.45
 GitHub Action Run
Source Files on build 490