Thanks. You are right. I solved the problem.
Best regards,
Qiuping Yi
Parasol Laboratory
Department of Computer Science and Engineering
Texas A&M University
College Station
TX 77843
On Sat, Jan 28, 2017 at 4:12 AM, Dan Liew wrote:
> On 27 January 2017 at 04:18, Qiuping Yi wrote:
> > Dear all
On 27 January 2017 at 04:18, Qiuping Yi wrote:
> Dear all,
>
> I encountered a strange problem when testing the next code snippet:
>
> 1 if (pw = getpwuid(getuid()) == NULL)
> 2 return ;
>
> 3 .. = pw->pw_dir;
Please use the correct mailing list (klee-dev@imperial.ac.uk) instead
of the old klee