search

CozySynthesizer / cozy

The collection synthesizer
https://cozy.uwplse.org
Apache License 2.0
209 stars 18 forks source link

Save before cleaning up threads #114

Closed izgzhen closed 4 years ago

izgzhen commented 4 years ago

A partial solution to deal with #110: since cleaning up thread can take a long time, we can try to first save the current synthesized solution and then work on cleaning up, which might take a long time.