david-christiansen
/
racket-refiners
56%
master: 55%
master: 55%
|
Repo Added
|
Files
28
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH wip/find-bindings
push
travis-ci
1434 of 2556 relevant lines covered (56.1%)
1.57 hits per line
Relevant lines Covered
2556
RELEVANT LINES
1434
COVERED LINES
1.57
HITS PER LINE
Source Files on wip/find-bindings
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 69 | wip/find-bindings | Remove 6.3 from testing | push |  david-christiansen |
travis-ci | pending completion | |
| 66 | wip/find-bindings | Fix bindings for presentation prover | push | david-christiansen |
travis-ci | pending completion | |
| 65 | wip/find-bindings | Handy test | push | david-christiansen |
travis-ci | pending completion | |
| 64 | wip/find-bindings | More progress towards bindings | push | david-christiansen |
travis-ci | pending completion | |
| 63 | wip/find-bindings | Somewhat busted binding presentations in prover | push | david-christiansen |
travis-ci | pending completion | |
| 62 | wip/find-bindings | Binding-finder | push | david-christiansen |
travis-ci | pending completion | |
| 61 | wip/find-bindings | Start of binding-finder | push | david-christiansen |
travis-ci | pending completion |