499
70%

Ran 10 Nov 2024 11:17PM UTC

Jobs 1

Files 115

Run time 1min

Badge

Committed 10 Nov 2024 11:10PM UTC coverage: 69.349% (+0.2%) from 69.144%

Build # 499

Build Type

push

github

Committed by

Commit Message

Merge pull request #118 from msakai/extra-doc-files

Use Extra-Doc-Files section in toysolver.cabal

Run Details

9781 of 14104 relevant lines covered (69.35%)

0.69 hits per line

Lines	Coverage	∆	File
2	78.83	0.46%	src/ToySolver/SMT.hs
2	86.58	-0.26%	src/ToySolver/BitVector/Solver.hs
3	45.63	-0.31%	src/ToySolver/BitVector/Base.hs
9	57.97	-3.26%	src/ToySolver/QBF.hs
25	44.29	-11.9%	src/ToySolver/SAT/PBO.hs
38	71.08	-0.45%	src/ToySolver/SAT/Solver/CDCL.hs

ID	Job ID	Ran	Files	Coverage
1	499.1	10 Nov 2024 11:17PM UTC	115	69.35	GitHub Action Run