• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

mAarnos / Serkr
96%
master: 96%

Build:
Build:
LAST BUILD BRANCH: proof-output
DEFAULT BRANCH: master
Repo Added 23 Feb 2016 07:52PM UTC
Files 47
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 proof-output
branch: proof-output
CHANGE BRANCH
x
Reset
  • proof-output
  • clause-selection
  • code-cleanup
  • coveralls
  • formula-renaming
  • indexing
  • master
  • performance-improvement
  • statistics-reporting

pending completion
111

push

travis-ci

mAarnos
Switched to the Fowler-Noll-Vo hash function

3020 of 3156 relevant lines covered (95.69%)

2.27 hits per line

Relevant lines Covered
Build:
Build:
3156 RELEVANT LINES 3020 COVERED LINES
2.27 HITS PER LINE
Source Files on proof-output
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
111 proof-output Switched to the Fowler-Noll-Vo hash function push 21 Oct 2016 09:06PM UTC mAarnos travis-ci pending completion  
110 proof-output Fixed clippy lints etc. push 21 Oct 2016 09:09AM UTC mAarnos travis-ci pending completion  
106 proof-output Merge pull request #21 from mAarnos/indexing Added perfect discrimination trees push 13 Oct 2016 10:54PM UTC web-flow travis-ci pending completion  
See All Builds (56)
  • 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