subject:"\[klee\-dev\] Add a C\+\+ file for klee's POSIX library"

Re: [klee-dev] Add a C++ file for klee's POSIX library

2016-12-22 Thread Dan Liew

Hi, On 22 December 2016 at 05:37, Randall wrote: > Hello eyeryone. > > I have met a problem while adding a c++ library which uses > STL. So I get these error as follow: > > ... > > ... > > Unable to find size for global

[klee-dev] Add a C++ file for klee's POSIX library

2016-12-21 Thread Randall

Hello eyeryone. I have met a problem while adding a c++ library which uses STL. So I get these error as follow: ... ... Unable to find size for global variable: _ZNSs4_Rep20_S_empty_rep_storageE (use will result in out of bounds access) ...