This repository was archived by the owner on Oct 29, 2021. It is now read-only.
allow for parallelism #28
Comments
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
While working on verifying Firefox with
tlas part of our release process I discovered thattlrequires an exclusive lock to function while verifying. If possible, it would be nice for this not to be required, to allow for easier parallelization.The text was updated successfully, but these errors were encountered: