On Thursday, February 13, 2020 at 7:51:53 PM UTC-5, David Starner wrote: > > > I had a couple > unexplained segmentation faults, on job105 and job135. I restarted > job105 and it ran to completion; I haven't tried restarting 135 yet. > I'll restart 135 and actually start 137, and take 133, 134, and > 152-155, and send you the complete logs. >
The non-reproducible segfaults are pretty disturbing. If anyone else sees a segfault, let me know. I hope we can pin it down. Norm -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/d1a3c150-b51d-4946-a0b2-ec26d44b3ccd%40googlegroups.com.