605
72%
master: 72%

Ran 06 Feb 2025 03:02PM UTC

Jobs 1

Files 120

Run time 1min

Badge

Committed 06 Feb 2025 02:54PM UTC coverage: 71.521% (+0.2%) from 71.288%

Build # 605

Build Type

push

github

Committed by

Commit Message

Merge c72fe0ef4 into 78e4d8de8

Run Details

10731 of 15004 relevant lines covered (71.52%)

0.72 hits per line

Lines	Coverage	∆	File
1	86.0	-2.0%	src/ToySolver/SAT/Encoder/Cardinality/Internal/ParallelCounter.hs
2	78.86	-1.63%	src/ToySolver/Arith/FourierMotzkin/Base.hs
2	70.43	-1.08%	src/ToySolver/SAT/PBO/BCD2.hs
3	69.56	-0.18%	src/ToySolver/Converter/PB.hs
4	45.31	-0.63%	src/ToySolver/BitVector/Base.hs
6	78.83	-0.46%	src/ToySolver/SMT.hs
8	65.15	-12.12%	src/ToySolver/SAT/PBO/BCD.hs
10	74.2	0.7%	src/ToySolver/SAT/Solver/CDCL.hs

ID	Job ID	Ran	Files	Coverage
1	605.1	06 Feb 2025 03:02PM UTC	120	71.52	GitHub Action Run