1474
72%

Ran 25 Feb 2018 03:01PM UTC

Jobs 1

Files 113

Run time 4s

Badge

Build # 1474

Build Type

push

travis-ci

Committed by

Commit Message

ToySolver.SAT.ExistentialQuantification: improve documentation

Run Details

9613 of 14180 relevant lines covered (67.79%)

0.68 hits per line

Lines	Coverage	File
1	100.0	src/ToySolver/Data/LA.hs
1	100.0	src/ToySolver/SAT/Encoder/Tseitin.hs
1	100.0	src/ToySolver/SAT/PBO/Context.hs
2	100.0	src/ToySolver/Converter/WBO2PB.hs
2	100.0	src/ToySolver/SAT/ExistentialQuantification.hs
3	100.0	src/ToySolver/SAT/Encoder/PB/Internal/Adder.hs
5	100.0	src/ToySolver/BitVector/Base.hs
5	100.0	src/ToySolver/SAT/Types.hs
6	100.0	src/ToySolver/SMT.hs
8	100.0	src/ToySolver/QBF.hs
11	100.0	src/ToySolver/SAT/PBO.hs
13	100.0	src/ToySolver/SAT/PBO/UnsatBased.hs
17	100.0	src/ToySolver/SAT/PBO/MSU4.hs
43	100.0	src/ToySolver/SAT.hs

ID	Job ID	Ran	Files	Coverage
3	1474.3 (STACK_YAML=stack-travis-ghc-8.0.yaml GHCVER=8.0.1 FLAGS="--coverage --flag toysolver:BuildToyFMF --flag toysolver:BuildSamplePrograms --flag toysolver:BuildMiscPrograms --flag toysolver:TestCBC --flag toysolver:TestGlpsol --flag toysolver:TestLPSolve --flag=toysolver:OpenCL" COVERAGE=1)	25 Feb 2018 03:01PM UTC	0	67.79	Travis Job 1474.3

Detailed source file information is not available for this build.