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

Ran 07 Mar 2018 03:59AM UTC

Files 113

Run time 5s

Badge

Committed 06 Mar 2018 03:19PM UTC coverage: 68.941% (+0.8%) from 68.186%

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.SAT.ExistentialQuantification: add negateCNF function

Run Details

9789 of 14199 relevant lines covered (68.94%)

0.69 hits per line

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