jbearer / hspl / 116
85%
master: 84%

LAST BUILD BRANCH: debug-ui
DEFAULT BRANCH: master
Ran
Jobs 1
Files 11
Run time 0s
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
116

push

travis-ci

jbearer 
Implement a forAll predicate.

Analagous to Prolog's forall, forAll cond action succeeds if, for
every time cond succeeds, action also succeeds. No variables are
bound.

Closes #6

1061 of 1247 relevant lines covered (85.08%)

0.85 hits per line

Jobs
ID Job ID Ran Files Coverage
4 116.4 (BUILD=stack ARGS="" TESTARGS="--coverage --haddock") 0
85.08
 Travis Job 116.4
Source Files on build 116
Detailed source file information is not available for this build.