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.