4
85%
master: 84%

Ran 16 Sep 2017 06:15AM UTC

Files 11

Run time 0s

Badge

Embed ▾

Committed 16 Sep 2017 02:44AM UTC coverage: 85.152%. First build

Job # BUILD=stack ARGS="" TESTARGS="--coverage --haddock"

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Create a public interface for the debugger.

The interface exposes configuration and entrypoints for the debugger,
and is written in terms of Control.Hspl types (e.g. GoalWriter)

Closes #2

Run Details

1061 of 1246 relevant lines covered (85.15%)

0.85 hits per line

jbearer / hspl / 117 / 4
85%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 117.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 117 / 4 85% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 117.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 117 / 4
85%
master: 84%

README BADGES
x