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

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

pending completion
164

push

travis-ci

jbearer
Fix 8.4 compile errors

1163 of 1423 relevant lines covered (81.73%)

0.82 hits per line

Relevant lines Covered
Build:
Build:
1423 RELEVANT LINES 1163 COVERED LINES
0.82 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
164 debug-ui Fix 8.4 compile errors push 02 Dec 2017 01:52AM UTC jbearer travis-ci pending completion  
163 debug-ui tests for ^ push 02 Dec 2017 01:44AM UTC jbearer travis-ci pending completion  
162 debug-ui tmp push 01 Dec 2017 10:08AM UTC jbearer travis-ci pending completion  
161 master Add tests for freeIn push 14 Nov 2017 04:16AM UTC jbearer travis-ci pending completion  
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  
156 master Implement Show for Goal to work with recursive PredGoals Fixes #26 push 06 Nov 2017 08:13AM UTC jbearer travis-ci pending completion  
155 show-pred Implement Show for Goal to work with recursive PredGoals Fixes #26 push 06 Nov 2017 12:39AM UTC jbearer travis-ci pending completion  
154 master Update Homebrew in OSX build. push 23 Oct 2017 06:00PM 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