jbearer / hspl
85%
master: 84%

LAST BUILD BRANCH: debug-ui
DEFAULT BRANCH: master
Repo Added
Files 12
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

LAST BUILD ON BRANCH forall
branch: forall
CHANGE BRANCH
x

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

Relevant lines Covered
1247 RELEVANT LINES 1061 COVERED LINES
0.85 HITS PER LINE
Source Files on forall
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
116 forall 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 push jbearer travis-ci pending completion  
See All Builds (135)