wferi Wed, 25 Sep 2019 12:04:08 -0700
A random observation: the segmentation fault happens after outputting 4096 bytes to the test log. It may be related to stdio buffering and thus it may never appear with line buffered output.
