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
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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)