Solver and Verifier need to clean up tmp files

TrueBitFoundation / truebit-os

[DEPRECATED] Interactive client

Apache License 2.0

82 stars 26 forks source link

Open hswick opened 6 years ago

hswick commented 6 years ago

Currently these files are being accumulated, long running solver's and verifier's could eventually run low on memory.

g3yang commented 5 years ago

I will try take on this one!