1475
72%

Ran 25 Feb 2018 03:51PM UTC

Jobs 1

Files 113

Run time 9s

Badge

Build # 1475

Build Type

push

travis-ci

Committed by

Commit Message

ToySolver.QBF: fix solveQE/solveQE_CNF to output counter-example when solving forall formula

Run Details

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

9677 of 14192 relevant lines covered (68.19%)

0.68 hits per line

Lines	Coverage	File
1	100.0	src/ToySolver/BitVector/Base.hs
1	100.0	src/ToySolver/SAT/Encoder/Tseitin.hs
2	100.0	src/ToySolver/Arith/FourierMotzkin/Base.hs
3	100.0	src/ToySolver/SMT.hs
6	100.0	src/ToySolver/QBF.hs
18	100.0	src/ToySolver/SAT/PBO/BC.hs
22	100.0	src/ToySolver/SAT.hs

ID	Job ID	Ran	Files	Coverage
3	1475.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:52PM UTC	0	68.19	Travis Job 1475.3

Detailed source file information is not available for this build.