Cristian Cadar

@MartinNowack anything else here?

@MartinNowack ping

Thanks @LebronX for this PR! It does require more work though: 1) Fix the TravisCI ASan failures by freeing memory accordingly 2) Put the `max-forks-terminate` option into a separate commit,...

@LebronX you also need to free the assignments in the map, but the best thing would be to use unique pointers. Another issue is that the test you added does...

@kren1 I opened #1058 to address this. I think documenting this behavior should be enough to address my second concern. I wonder if 10000 is a good instruction budget. I...

@delcypher, I can see the potential confusion here, but I'm not sure whether the alternative behaviour is better. At least right now, it's easy to understand what happens: the timeout...

Thanks for the report, @davidtr1037. I haven't looked at that code in a long time, but can I ask if you have a small example demonstrating the problem?

@251 This is a useful option to have. I am confused about a couple of things though: - what is the default solver used by STP mainline? - what is...

@danielschemmel what is the status of this PR?

@danielschemmel I agree we shouldn't support LLVM < 9, as we'll retire it soon. So let me first ask @251: what's the status of #1518 , do you plan to...