jbearer / hspl / 130
85%
master: 84%

LAST BUILD BRANCH: debug-ui
DEFAULT BRANCH: master
Ran
Jobs 1
Files 12
Run time 1s
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
130

push

travis-ci

jbearer 
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

1081 of 1265 relevant lines covered (85.45%)

0.85 hits per line

Jobs
ID Job ID Ran Files Coverage
1 130.1 (ARGS="" TESTARGS="--coverage --haddock") 0
85.45
 Travis Job 130.1
Source Files on build 130
Detailed source file information is not available for this build.