Cristian Cadar

Thanks again, @operasfantom , let's merge this!

I am happy to move to C++ 2017. Any other thoughts? @MartinNowack @251 @danielschemmel can you rebase this to trigger the CI again?

@danielschemmel thanks, I had forgotten what the issue is here. Now I'm wondering if we should update now or wait a bit longer. Do you want to do this primarily...

So to summarize, what would fail on older platforms such as Ubuntu 18 would be: 1) MetaSMT / Boost 2) MSan from LLVM < 11 Anything else?

@MartinNowack is the recent CI failure for STP mainline due to the need for C++17?

@arrowd I'm wondering if you looked at the recent failures on FreeBSD 12.2?

@arrowd thanks for looking into this. I restarted it and it still fails, so until it gets resolved, I will mark it as optional.

@arrowd Thanks for the update, I've restarted the job and it completed successfully.

> Great changes! I added one comment. The plan is to get this PR in before #1446 is merged. Indeed, as this is the older request. Also, @251 has kindly...

Thanks @operasfantom . As Martin mentioned earlier, UndefinedBehaviour is too broad. Can't you split this into subcategories?