Repo Added
|
Files
8
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
800 of 852 relevant lines covered (93.9%)
0.94 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
176 | semantic_checking | Fix semantic checking for inference rule head | push | feiranwang | travis-ci | pending completion |