msakai / toysolver / 1475 / 3
72%
master: 72%

Ran 25 Feb 2018 03:52PM UTC

Files 113

Run time 7s

Badge

Committed 25 Feb 2018 03:38PM UTC coverage: 68.186% (+0.4%) from 67.793%

Job # 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

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

9677 of 14192 relevant lines covered (68.19%)

0.68 hits per line

Source Files on job 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)