1321
68%
master: 72%

Ran 21 Sep 2017 03:23PM CUT

Jobs 1

Files 112

Run time 11s

Badge

Build # 1321

Build Type

push

travis-ci

Committed by

Commit Message

add ToySolver.SAT.Enum for model enumeration using conduit

Run Details

9408 of 13747 relevant lines covered (68.44%)

0.68 hits per line

ID	Job ID	Ran	Files	Coverage
2	1321.2 (STACK_YAML=stack-travis.yaml RESOLVER=lts-9.2 GHCVER=8.0.1 COVERAGE=1)	21 Sep 2017 03:23PM CUT	0	68.44	Travis Job 1321.2