• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

jbearer / hspl
85%
master: 84%

Build:
Build:
LAST BUILD BRANCH: debug-ui
DEFAULT BRANCH: master
Repo Added 19 Apr 2017 07:17PM UTC
Files 12
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 msplit
branch: msplit
CHANGE BRANCH
x
Reset
  • msplit
  • alternatives-n
  • append
  • cleanup-api
  • core
  • cutframe
  • debug-ui
  • debugger
  • debugger-ui
  • forall
  • master
  • proof-inspection
  • show-pred
  • syntax
  • ternary
  • travis
  • unique-preds

pending completion
153

push

travis-ci

jbearer
Update Homebrew in OSX build.

1102 of 1301 relevant lines covered (84.7%)

0.85 hits per line

Relevant lines Covered
Build:
Build:
1301 RELEVANT LINES 1102 COVERED LINES
0.85 HITS PER LINE
Source Files on msplit
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
153 msplit Update Homebrew in OSX build. push 23 Oct 2017 07:51AM UTC jbearer travis-ci pending completion  
152 msplit Expose primitive goals with a wider span. We add two new goal constructors: Once (again) and If. These make it possible to implement a variety of high-level sugar, including once, ifel, not, .||. (short-circuiting or), and cond without relying on... push 23 Oct 2017 07:33AM UTC jbearer travis-ci pending completion  
See All Builds (135)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc