Repo Added
|
Files
23
|
Badge
Embed ▾
README BADGES
|
push
travis-ci
1249 of 1721 branches covered (72.57%)
Branch coverage included in aggregate %.
1727 of 2140 relevant lines covered (80.7%)
41648.39 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line | Branch Hits | Branch Misses |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
110 | quantifiers | make function call clearer | push | Rob Simmons | travis-ci | pending completion | |
109 | quantifiers | resolve conflicts | push | Rob Simmons | travis-ci | pending completion | |
107 | quantifiers | add quantifiedexpression to nearley syntax | push | Rob Simmons | travis-ci | pending completion | |
106 | quantifiers | Add low precedence forall/exists | push | Rob Simmons | travis-ci | pending completion |