coverage: Make counter creation handle node/edge counters more uniformly#131918

Merged

bors merged 2 commits intorust-lang:masterfrom

Zalathar:counters

Oct 22, 2024

Commits on Oct 19, 2024

coverage: Make counter creation handle nodes/edges more uniformly
Zalathar
committed
coverage: Streamline several names of things in counter creation
Zalathar
committed