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

pending completion
130

push

travis-ci

jbearer
Provide a goal for introducing a new cut frame.

This is used to implement Once in terms of Cut, and Once is now
removed.

Predicate goals still implicitly introduce a cut frame.

Closese #16

1081 of 1265 relevant lines covered (85.45%)

0.85 hits per line

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

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
130 cutframe Provide a goal for introducing a new cut frame. This is used to implement Once in terms of Cut, and Once is now removed. Predicate goals still implicitly introduce a cut frame. Closese #16 push 18 Sep 2017 04:54AM 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