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

pending completion
133

push

travis-ci

jbearer
Factor out operator preferences.

All operator preferences are defined in the same part of the file,
making it easy to see the relative order. Also, we use a macro
PREC which is continuously redefined to decreasing integer constants,
which will make it easy to move operators to a different precedence
level in the future with minimal code change.

1085 of 1271 relevant lines covered (85.37%)

0.85 hits per line

Relevant lines Covered
Build:
Build:
1271 RELEVANT LINES 1085 COVERED LINES
0.85 HITS PER LINE
Source Files on ternary
  • List 0
  • Changed 1
  • Source Changed 1
  • Coverage Changed 1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
133 ternary Factor out operator preferences. All operator preferences are defined in the same part of the file, making it easy to see the relative order. Also, we use a macro PREC which is continuously redefined to decreasing integer constants, which will ma... push 19 Sep 2017 07:56PM UTC jbearer travis-ci pending completion  
132 ternary Add a syntactic construct for conditional statements. The "cond" block allows the user to specify a series of conditions (goals) and actions. The first condition to succeed has its action executed and the block terminates. Syntactically, the cons... push 19 Sep 2017 07:40AM 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