I don't think we've actually hit this bug yet, but the tool is currently susceptible to races between the start and end of the with-redefs block across threads. This should fix that by only rebinding the var once around the entire parallel execution.
I don't think we've actually hit this bug yet, but the tool is currently susceptible to races between the start and end of the
with-redefs
block across threads. This should fix that by only rebinding the var once around the entire parallel execution.