1476
72%

Ran 07 Mar 2018 03:59AM UTC

Jobs 1

Files 113

Run time 6s

Badge

Build # 1476

Build Type

push

travis-ci

Committed by

Commit Message

ToySolver.SAT.ExistentialQuantification: add negateCNF function

Run Details

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

9789 of 14199 relevant lines covered (68.94%)

0.69 hits per line

Lines	Coverage	File
1	100.0	src/ToySolver/QBF.hs
2	100.0	src/ToySolver/BitVector/Solver.hs
2	100.0	src/ToySolver/SMT.hs
3	100.0	src/ToySolver/SAT/Encoder/PB/Internal/Adder.hs
5	100.0	src/ToySolver/BitVector/Base.hs

ID	Job ID	Ran	Files	Coverage
3	1476.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)	07 Mar 2018 03:59AM UTC	0	68.94	Travis Job 1476.3

Detailed source file information is not available for this build.