• 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
  • List 0
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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

© 2025 Coveralls, Inc