Repo Added
|
Files
304
|
Badge
README BADGES
|
push
travis-ci
25285 of 38180 relevant lines covered (66.23%)
1.33 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
1246 | wm_demo | Add test for subj/obj pruning | push | travis-ci | pending completion | ||
1244 | wm_demo | Fix function name typo | push | travis-ci | pending completion | ||
1243 | wm_demo | Add subj/obj pruning method to model checker | push | travis-ci | pending completion |