4
83%
master: 84%

Ran 10 Sep 2017 10:47PM UTC

Files 11

Run time 0s

Badge

Embed ▾

Committed 10 Sep 2017 10:42PM UTC coverage: 83.129% (+0.08%) from 83.047%

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

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Add instructions for common tasks in README.

Instructions include setting up the repo, running tests and benchmarks,
adding new Var constructors, and adding new Goal constructors.

Run Details

1015 of 1221 relevant lines covered (83.13%)

0.83 hits per line

jbearer / hspl / 109 / 4
83%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

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

jbearer / hspl / 109 / 4 83% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

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

jbearer / hspl / 109 / 4
83%
master: 84%

README BADGES
x