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

d-led / gen_server_virtual_time
89%

Build:
DEFAULT BRANCH: main
Repo Added 12 Oct 2025 01:23PM UTC
Token yTWNj9G56mkAnj6n1Yl4mIGi61cjmXhfX regen
Build 94 Last
Files 19
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 main
branch: main
CHANGE BRANCH
x
Reset
Sync Branches
  • main

25 Oct 2025 02:47PM UTC coverage: 88.517% (+0.07%) from 88.449%
de7b3bfb5559ce2c08b3587c72e574966b43bb00

push

github

d-led
changelog

1904 of 2151 relevant lines covered (88.52%)

3121.68 hits per line

Relevant lines Covered
Build:
Build:
2151 RELEVANT LINES 1904 COVERED LINES
3121.68 HITS PER LINE
Source Files on main
  • Tree
  • List 19
  • Changed 3
  • Source Changed 0
  • Coverage Changed 3
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
de7b3bfb... main changelog push 25 Oct 2025 02:49PM UTC d-led github
88.52
05f48b67... main show virtual vs real clock in one example push 25 Oct 2025 02:25PM UTC d-led github
88.45
56fa952a... main check virtual time isolation push 25 Oct 2025 01:53PM UTC d-led github
88.5
b48eb572... main rc4 push 25 Oct 2025 01:23PM UTC d-led github
88.5
343d859d... main edge cases push 25 Oct 2025 12:39PM UTC d-led github
88.52
50d4f9f8... main straighten out the implementation push 25 Oct 2025 12:16PM UTC d-led github
87.41
e06ce36f... main rc3 push 25 Oct 2025 11:38AM UTC d-led github
88.06
0b2a2699... main rc2 with better api push 25 Oct 2025 11:29AM UTC d-led github
88.27
41a3a0f1... main rc1 push 25 Oct 2025 10:46AM UTC d-led github
88.64
1c526121... main backticks don't work on hex.pm push 25 Oct 2025 10:45AM UTC d-led github
88.59
See All Builds (94)

Badge your Repo: gen_server_virtual_time

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.

Could not find badge in README.

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

Refresh
  • Settings
  • 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