recursion-ninja
/
bv-little
95%
master: 90%
master: 90%
|
Repo Added
|
Files
6
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
well-typed
branch: well-typed
CHANGE BRANCH
x
-
well-typed
-
explicit-folds
-
master
-
rank-select
-
v0.1.0
-
v0.1.0.0
-
v0.1.2
-
v1.0.0
-
v1.0.1
-
v1.1.0
CHANGE BRANCH
x
-
well-typed
- explicit-folds
- master
- rank-select
- v0.1.0
- v0.1.0.0
- v0.1.2
- v1.0.0
- v1.0.1
- v1.1.0
push
travis-ci
7 of 7 new or added lines in 1 file covered. (100.0%)
382 of 404 relevant lines covered (94.55%)
6.62 hits per line
Relevant lines Covered
404
RELEVANT LINES
382
COVERED LINES
6.62
HITS PER LINE
Source Files on well-typed
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 105 | well-typed | Correcting rotateR definition. | push |  recursion-ninja |
travis-ci | pending completion | |
| 103 | well-typed | Adding intToNat definition for backwards compatability & increased type saftey. | push | recursion-ninja |
travis-ci | pending completion | |
| 102 | well-typed | Attempting to rectify some failing tests. | push | recursion-ninja |
travis-ci | pending completion |