1791
71%
master: 72%

Ran 28 Dec 2020 03:20PM CUT

Jobs 1

Files 113

Run time 5s

Badge

Build # 1791

Build Type

push

travis-ci

Committed by

Commit Message

travis: use GHC-8.8 for testing haddock, coverage measurement and release building

Run Details

9767 of 13766 relevant lines covered (70.95%)

0.71 hits per line

ID	Job ID	Ran	Files	Coverage
2	1791.2 (STACK_YAML=stack-ghc-8.8.yaml RELEASE=1 HADDOCK=1 COVERAGE=1 SHC_GHCVER=8.0.1)	28 Dec 2020 03:20PM CUT	0	70.95	Travis Job 1791.2

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
0.0	src/ToySolver/FileFormat/Base.hs	89	19	0	19	0.0
0.0	...nux/Cabal-3.0.1.0/build/autogen/Paths_toysolver.hs	50	17	0	17	0.0
25.37	src/ToySolver/SAT/PBO/BCD.hs	137	67	17	50	1.0
33.16	src/ToySolver/SAT/PBO/BCD2.hs	308	187	62	125	1.0
35.09	src/ToySolver/Combinatorial/Knapsack/DPSparse.hs	142	57	20	37	1.0
36.36	src/ToySolver/MaxCut.hs	76	22	8	14	1.0
37.5	src/ToySolver/Data/DNF.hs	40	8	3	5	1.0
37.84	src/ToySolver/Arith/Simplex/Simple.hs	71	37	14	23	1.0
38.46	src/ToySolver/SAT/MUS.hs	60	13	5	8	1.0
41.3	src/ToySolver/Arith/BoundsInference.hs	111	46	19	27	1.0