Free up space used by Quickchick
Opened this issue · 0 comments
AishwaryaSivaraman commented
Quickchick creates a temporary folder to check if a lemma is not disprovable. For example, in ubuntu
machines, these folders are created in /tmp/Quickchick
, in mac it is created in /var/folders/.../Quickchick
.
Since we make several calls to QC when running lfind
, it takes up a lot of space. So we need to programmatically identify and delete these temporary folders before lfind
exits.