Repo Added
|
Files
9
|
Badge
Embed ▾
README BADGES
|
travis-ci
25 of 25 new or added lines in 2 files covered. (100.0%)
230 of 300 relevant lines covered (76.67%)
535586.24 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
396 | rename/rules | Remove DivergentError Unused. | Pull #57 | web-flow | travis-ci | pending completion | |
395 | rename/rules | Remove DivergentError Unused. | push | HarrisonGrodin | travis-ci | pending completion | |
392 | rename/rules | Deparameterize and rename AbstractRewritingSystem Assumed to be parameterized on `Term` and renamed to `Rules`. | push | HarrisonGrodin | travis-ci | pending completion |