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

d-led / gen_server_virtual_time / c798de0300211fc0c86aeb2227e27d0d227a449d
85%

Build:
DEFAULT BRANCH: main
Ran 25 Oct 2025 07:49PM UTC
Jobs 1
Files 19
Run time 1min
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

25 Oct 2025 06:57PM UTC coverage: 88.108% (-0.6%) from 88.692%
c798de0300211fc0c86aeb2227e27d0d227a449d

push

github

d-led
extend simulation language

24 of 24 new or added lines in 2 files covered. (100.0%)

63 existing lines in 7 files now uncovered.

1956 of 2220 relevant lines covered (88.11%)

1287420.67 hits per line

Uncovered Existing Lines

Lines Coverage ∆ File
1
88.44
1.45% lib/actor_simulation/mermaid_report_generator.ex
1
94.12
-5.88% lib/time_backend.ex
6
79.14
0.94% lib/actor_simulation/actor.ex
7
87.42
-4.58% lib/actor_simulation.ex
9
84.09
-1.27% lib/virtual_time_gen_state_machine.ex
18
81.25
-14.49% lib/virtual_clock.ex
21
80.99
0.84% lib/virtual_time_gen_server.ex
Jobs
ID Job ID Ran Files Coverage
1 c798de0300211fc0c86aeb2227e27d0d227a449d.1 25 Oct 2025 07:49PM UTC 19
88.11
GitHub Action Run
Source Files on build c798de0300211fc0c86aeb2227e27d0d227a449d
  • Tree
  • List 19
  • Changed 7
  • Source Changed 0
  • Coverage Changed 7
Coverage ∆ File Lines Relevant Covered Missed Hits/Line
  • Back to Repo
  • c798de03 on github
  • Prev Build on main (#C4EA3460...)
  • Next Build on main (#790531CF...)
  • Delete
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