505
71%
master: 72%

Ran 17 Nov 2024 09:50AM UTC

Jobs 1

Files 115

Run time 1min

Badge

Committed 17 Nov 2024 09:43AM UTC coverage: 69.39% (-0.5%) from 69.86%

Build # 505

Build Type

push

github

Committed by

Commit Message

Merge 5e3cf488d into 5f69a541c

Run Details

1 of 1 new or added line in 1 file covered. (100.0%)

155 existing lines in 13 files now uncovered.

9777 of 14090 relevant lines covered (69.39%)

0.69 hits per line

Lines	Coverage	∆	File
1	78.83	0.69%	src/ToySolver/SMT.hs
1	45.94	0.63%	src/ToySolver/BitVector/Base.hs
1	87.16	-0.46%	src/ToySolver/SAT/Encoder/Tseitin.hs
1	72.73	-3.03%	src/ToySolver/SAT/Store/PB.hs
1	75.23	-0.31%	src/ToySolver/Data/Polynomial/Base.hs
2	47.62	3.33%	src/ToySolver/SAT/PBO.hs
2	78.86	-1.63%	src/ToySolver/Arith/FourierMotzkin/Base.hs
2	83.93	-0.89%	src/ToySolver/SAT/PBO/Context.hs
2	68.33	-0.56%	src/ToySolver/Converter/PB.hs
3	77.73	-1.42%	src/ToySolver/SAT/Types.hs
18	30.3	-54.55%	src/ToySolver/SAT/PBO/UnsatBased.hs
20	71.94	0.41%	src/ToySolver/SAT/Solver/CDCL.hs
101	16.13	-54.3%	src/ToySolver/SAT/PBO/BCD2.hs

ID	Job ID	Ran	Files	Coverage
1	505.1	17 Nov 2024 09:50AM UTC	115	69.39	GitHub Action Run