|
| From: | Jean Abou Samra |
| Subject: | Re: master segfault |
| Date: | Thu, 23 Jul 2020 19:21:06 +0200 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 |
Le 23/07/2020 à 19:05, Dan Eble a écrit :
It's a heisenbug. It isn't the random seed itself that makes a difference, just the fact that things are done differently now. Using different optimization flags makes a difference too. I enabled ubsan and it detected badness slightly earlier than the segfault, but not early enough that I have any idea what might have gone wrong or when. — Dan
Out of curiosity, how many processes are you using for make test-baseline? Best, Jean
| [Prev in Thread] | Current Thread | [Next in Thread] |