Fix seed id generation#104

Open

cveilleux wants to merge 2 commits into

alessandromaggio:masterfrom

cveilleux:fix-seed-id-generation

Commits on Mar 24, 2023

perf: Use a set instead of a list to keep track of in-flight seed ids.
cveilleux
committed
fix: Clean-up seed_id from in-flight set of SEED_IDs using a try/finally block.
cveilleux
committed