[klee-dev] Error while using C++ STL, libcxx

[Cristian Cadar]

On 26/05/2020 13:32, Namrata Jain wrote:
> I also want to know about klee version-2.1-pre, is it the same as 
> version 2.0? This is because I have made some changes in my klee source 
> (2.1-pre) for a project and now I will be using version-2.1.
2.1-pre is the version string reported by the mainline between releases 
2.0 and 2.1.

Cristian