Cristian Cadar

I still think that the best time to decide on the terminology is when we introduce it. But I understand if you don't want to spend more time on this...

@251 It should be as part of the same PR, but I offered to write that patch. I think @danielschemmel's suggestion is reasonable, but perhaps I would go with `ExecutionTree`,...

This is the first time we are introducing this to users; this is why in my opinion the key thing is the user-facing terminology, and this is all I asked...

@MartinNowack I agree with this. But since I have actually implemented the change, so I'll just push it shortly, most likely tonight.

Extended with the rename in #1674

Hi Daniel, I ran the added tests again, and now `CrosscheckCoreStpZ3.c` takes 15s on my machine, but it is still the most expensive test... I am not sure the more...

Thanks again, @danielschemmel , great to have the extra coverage

What can go wrong with a one character change? ;) But in all seriousness, it looks like the PCRE test needs some help, and the rest is fine.

I see -- I haven't looked in detail.

@danielschemmel can you rebase this? BTW, nested namespaces are only supported since C++17, so some compilers already fail to compile KLEE w/o this patch.