d-led / gen_server_virtual_time / 56fa952a2413200ba0540a6a4dc1515d58c1489e
85%

DEFAULT BRANCH: main
Ran
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
coverage: 88.496%. Remained the same
56fa952a2413200ba0540a6a4dc1515d58c1489e

push

github

d-led 
check virtual time isolation

1900 of 2147 relevant lines covered (88.5%)

4267.53 hits per line

Jobs
ID Job ID Ran Files Coverage
1 56fa952a2413200ba0540a6a4dc1515d58c1489e.1 19
88.5
 GitHub Action Run
Source Files on build 56fa952a2413200ba0540a6a4dc1515d58c1489e