Spurious segmentation faults?
aliabbas299792 opened this issue · 0 comments
aliabbas299792 commented
No idea why, but sometimes segmentation faults happen, look into it at some point (I believe I get them usually when Ctrl+C in console, but possibly other times too)
