calculemuscode / jaco
77%
master: 78%

LAST BUILD BRANCH: dependabot/npm_and_yarn/webpack-dev-server-3.1.11
DEFAULT BRANCH: master
Repo Added
Files 23
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH quantifiers
branch: quantifiers
CHANGE BRANCH
x

110

push

travis-ci

Rob Simmons 
make function call clearer

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
Detailed source file information is not available for this build.

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  
See All Builds (101)