d-led / gen_server_virtual_time / a21cf044ceec841b3c818d092660bba90644946d-PR-2

88%

main: 88%

Pull #2

github

test(versions): enumerate the subset instead of filtering it

Filtering the table down to the pins that start with a digit only kept a
handful of the generated values, which StreamData refuses (it gave up on
Elixir 1.19 and warned on 1.20). The property now takes the subset it
means, and a test asserts the subset is not empty so the property cannot
pass vacuously.

238 of 251 new or added lines in 14 files covered. (94.82%)

2309 of 2637 relevant lines covered (87.56%)

4344.54 hits per line