msakai / toysolver / 769
72%

DEFAULT BRANCH: master
Ran
Jobs 1
Files 123
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: 71.745% (-0.2%) from 71.906%
769

push

github

web-flow 
Merge pull request #196 from msakai/feature/warn-o-lines-for-pbs

Warn if o-line(s) exist in a log for a PBS problem

0 of 4 new or added lines in 1 file covered. (0.0%)

63 existing lines in 12 files now uncovered.

11091 of 15459 relevant lines covered (71.74%)

0.72 hits per line

New Missed Lines in Diff

Lines Coverage ∆ File
4
80.6
 -1.64% src/ToySolver/Internal/SolutionChecker.hs

Uncovered Existing Lines

Lines Coverage ∆ File
1
76.54
 -0.62% src/ToySolver/Combinatorial/HittingSet/FredmanKhachiyan1996.hs
1
70.37
 -1.23% src/ToySolver/Data/LA.hs
1
81.86
 -0.22% src/ToySolver/EUF/CongruenceClosure.hs
1
52.22
 -0.34% src/ToySolver/EUF/FiniteModelFinder.hs
2
95.52
 -0.9% src/ToySolver/SAT/Encoder/Tseitin.hs
3
79.06
 0.58% src/ToySolver/SMT.hs
4
76.42
 -3.25% src/ToySolver/Arith/FourierMotzkin/Base.hs
5
72.32
 -0.67% src/ToySolver/Converter/PB.hs
9
57.97
 -3.26% src/ToySolver/QBF.hs
10
70.97
 -4.84% src/ToySolver/SAT/PBO/BCD2.hs
11
65.24
 -1.43% src/ToySolver/SAT/PBO.hs
15
74.53
 -0.16% src/ToySolver/SAT/Solver/CDCL.hs
Jobs
ID Job ID Ran Files Coverage
1 769.1 123
71.74
 GitHub Action Run
Source Files on build 769