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

pending completion
155

push

travis-ci

jbearer
Implement Show for Goal to work with recursive PredGoals

Fixes #26

1111 of 1325 relevant lines covered (83.85%)

0.84 hits per line

Relevant lines Covered
Build:
Build:
1325 RELEVANT LINES 1111 COVERED LINES
0.84 HITS PER LINE
Source Files on show-pred
  • 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
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  
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