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

pending completion
117

push

travis-ci

jbearer
Create a public interface for the debugger.

The interface exposes configuration and entrypoints for the debugger,
and is written in terms of Control.Hspl types (e.g. GoalWriter)

Closes #2

1061 of 1246 relevant lines covered (85.15%)

0.85 hits per line

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

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
117 debugger Create a public interface for the debugger. The interface exposes configuration and entrypoints for the debugger, and is written in terms of Control.Hspl types (e.g. GoalWriter) Closes #2 push 16 Sep 2017 06:15AM 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