d-led / gen_server_virtual_time
88%

DEFAULT BRANCH: main
Repo Added
Token yTWNj9G56mkAnj6n1Yl4mIGi61cjmXhfX regen
Build 129 Last
Files 24
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
Sync Branches

coverage: 87.562%. Remained the same
Relevant lines Covered
2637 RELEVANT LINES 2309 COVERED LINES
4783.1 HITS PER LINE
Source Files on main

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
20c7accc... main docs(generated): link the checked-in snapshots to this repository Four project snapshots under generated/ were written before the generators stopped emitting a yourusername placeholder, so their READMEs pointed at a repository that does not exist. push d-led github
87.56
35a58131... main Merge pull request #2 from d-led/chore/refresh-quality-tests-docs-and-template-versions Bring the tests, docs and generated projects back in line with the code push web-flow github
87.56
8391d1b8... main Release v0.6.0 Breaking changes: minimum Elixir is now 1.19 with OTP 28, and VirtualClock.cancel_timer/2 returns the remaining virtual time or false where it used to return :ok. Events scheduled for the same instant now fire in scheduling order, ... push d-led github
86.3
a3917c91... main style: clear the length/1 warnings, Credo is clean Credo's expensive-empty-enum check flagged 42 places comparing the result of length/1 against zero. Replaced with the direct comparison it asks for: length(x) > 0 becomes x != [] and length(x) >=... push d-led github
86.3
a3fde55a... main fix: make the century demo state what it achieves The demo reported "Started: 36082, Completed: 36082 (expected: 36525)" and the previous commit explained that gap as advance/2 moving past work its actors had not scheduled. That explanation was w... push d-led github
86.3
c0fd7864... main fix: point the century demo at this repository The headline demo - linked from the README and run by its own CI workflow - called Mix.install([{:gen_server_virtual_time, "~> 0.5.0"}]). It was demonstrating the published package, not the code in f... push d-led github
86.3
2b39b5d4... main test: make statements real, drop sleep-based synchronisation The suite synchronised with Process.sleep/1 in 39 places and, in several of them, asserted nothing at all. Both hid real problems. Sleeps that stood in for an ordering guarantee are go... push d-led github
86.3
c08ac29e... main chore: require Elixir 1.19, matching what CI verifies The declared floor was 1.15, raised from 1.14 only because ex_doc 0.40 needs it - not because anything verified it. When the CI matrix came down to Elixir 1.19 and 1.20, the declaration kept c... push d-led github
86.3
9aed5d56... main fix: use token acks for gen_statem actors VirtualTimeGenServer actors were moved to token-tagged deliveries so that an unrelated message cannot satisfy the wait for a delivered event, but VirtualTimeGenStateMachine actors still acknowledged every... push d-led github
86.3
3227e9d1... main fix: close virtual-clock races, stabilise tests The clock acknowledged every message its actors handled, so an unrelated message (for example the ack for start_sending) could satisfy the wait for a delivered event. The clock then advanced past th... push d-led github
86.58
See All Builds (129)

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.
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