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