846
72%

Ran 28 Feb 2016 10:37AM UTC

Jobs 1

Files 80

Run time 3s

Badge

Build # 846

Build Type

push

travis-ci

Committed by

Commit Message

remove meaningless compatibility code

Run Details

9063 of 12414 relevant lines covered (73.01%)

1.38 hits per line

Lines	Coverage	File
1	100.0	src/ToySolver/SAT/PBO/BCD2.hs
3	100.0	src/ToySolver/SAT/PBO/Context.hs
8	100.0	src/ToySolver/QBF.hs
8	100.0	src/ToySolver/SAT/PBO/BC.hs
27	100.0	src/ToySolver/SAT/PBO.hs
43	100.0	src/ToySolver/SAT/Types.hs
399	100.0	src/ToySolver/SAT.hs

ID	Job ID	Ran	Files	Coverage
2	846.2 (CABALVER=1.18 GHCVER=7.8.3 COVERAGE=1)	28 Feb 2016 10:37AM UTC	0	73.01	Travis Job 846.2

Detailed source file information is not available for this build.