1
84%
master: 84%

Ran 18 Sep 2017 05:17AM UTC

Files 12

Run time 0s

Badge

Embed ▾

Committed 18 Sep 2017 04:47AM UTC coverage: 85.455% (+0.1%) from 85.352%

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

Build Type

push

travis-ci

Committed by

jbearer

Commit Message

Provide a goal for introducing a new cut frame.

This is used to implement Once in terms of Cut, and Once is now
removed.

Predicate goals still implicitly introduce a cut frame.

Closese #16

Run Details

1081 of 1265 relevant lines covered (85.45%)

0.85 hits per line

jbearer / hspl / 131 / 1
84%
master: 84%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 131.1 (ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 131 / 1 84% master: 84%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 131.1 (ARGS="" TESTARGS="--coverage --haddock")

jbearer / hspl / 131 / 1
84%
master: 84%

README BADGES
x