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

jbearer / hspl
84%
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 append
branch: append
CHANGE BRANCH
x
Reset
  • append
  • alternatives-n
  • cleanup-api
  • core
  • cutframe
  • debug-ui
  • debugger
  • debugger-ui
  • forall
  • master
  • msplit
  • proof-inspection
  • show-pred
  • syntax
  • ternary
  • travis
  • unique-preds

pending completion
160

push

travis-ci

jbearer
Add tests for freeIn

1132 of 1344 relevant lines covered (84.23%)

0.84 hits per line

Relevant lines Covered
Build:
Build:
1344 RELEVANT LINES 1132 COVERED LINES
0.84 HITS PER LINE
Source Files on append
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
160 append Add tests for freeIn push 14 Nov 2017 03:09AM UTC jbearer travis-ci pending completion  
159 append Add tests for freeIn push 14 Nov 2017 01:32AM UTC jbearer travis-ci pending completion  
158 append fixup! Add syntax for appending lists. push 13 Nov 2017 11:18PM 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