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

Ran 14 Jun 2018 04:11AM UTC

Files 114

Run time 7s

Badge

Committed 14 Jun 2018 03:57AM UTC coverage: 68.713% (+0.2%) from 68.542%

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

add NAE-SAT to Max-2-SAT converter

Run Details

9938 of 14463 relevant lines covered (68.71%)

0.69 hits per line

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