calculemuscode
/
jaco
77%
master: 78%
master: 78%
|
Repo Added
|
Files
23
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
quantifiers
branch: quantifiers
CHANGE BRANCH
x
CHANGE BRANCH
x
push
travis-ci
Rob Simmons
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
Relevant lines Covered
2140
RELEVANT LINES
1727
COVERED LINES
41648.39
HITS PER LINE
Source Files on quantifiers
Recent builds
| 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 |