Invest more into a Mutex/RWLock
-based synthesize
process
#248
Labels
enhancement
New feature or request
Mutex/RWLock
-based synthesize
process
#248
This workflow makes clear that we should invest more into a
Mutex/RWLock
-basedsynthesize
process. Where we can at least give the chance to parallelize big witness assignations.Originally posted by @CPerezz in #243 (comment)
We should revisit this after #243 is closed or we find a way to do the split (even into diff crates or similar).
The text was updated successfully, but these errors were encountered: