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

pending completion
144

push

travis-ci

jbearer
Tag predicates definitions with their location in the source code.

This allows us to relax the constraint that predicate names be
unique quite alot.

There is a caveat: source location is not available prior to base
4.8.1, so with older versions of base names will still have to be
unique. To alleviate the user's burden even in this edge case, we
provde a mechanism for tagging predicates with an optional scope
string, and require uniquencess only among predicates in the same
scope.

Fixes #17

1078 of 1275 relevant lines covered (84.55%)

0.85 hits per line

Relevant lines Covered
Build:
Build:
1275 RELEVANT LINES 1078 COVERED LINES
0.85 HITS PER LINE
Source Files on unique-preds
  • 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
144 unique-preds Tag predicates definitions with their location in the source code. This allows us to relax the constraint that predicate names be unique quite alot. There is a caveat: source location is not available prior to base 4.8.1, so with older versions ... push 27 Sep 2017 07:30AM UTC jbearer travis-ci pending completion  
143 unique-preds Add optional scope tag to predicate definitions. This can be used to further distinguish predicates with the same name, and is necessary with base < 4.8.1, where callstack is not available for this purpose. push 27 Sep 2017 06:32AM UTC jbearer travis-ci pending completion  
142 unique-preds Tag predicates definitions with their location in the source code. This allows us to relax the constraint that predicate names be unique quite alot. There is a caveat: source location is not available prior to base 4.8.1, so with older versions ... push 27 Sep 2017 03:36AM UTC jbearer travis-ci pending completion  
140 unique-preds Tag predicates definitions with their location in the source code. This allows us to relax the constraint that predicate names be unique quite alot. There is a caveat: source location is not available prior to base 4.8.1, so with older versions ... push 27 Sep 2017 02: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