This has been around for ages. In fact for as long as nauty has been in sage. I remember spotting it for the first time in dmesg several years ago. Because it is mostly silent very little effort has put into fixing that so far, at least that I know of.
> On 1/10/2020, at 9:20 PM, Eric Gourgoulhon <[email protected]> wrote: > > 1/ Title: nauty-gentourng crashed with SIGSEGV in __libc_start_main() > nauty-gentourng is from the Ubuntu package nauty 2.6r10+ds-1ubuntu1 > François -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/F7659316-C046-4FCB-97DD-DF89EEA32C5B%40gmail.com.
