subject:"Re\: \[klee\-dev\] One question about external dispatcher"

Re: [klee-dev] One question about external dispatcher

2017-01-30 Thread Qiuping Yi

Thanks. You are right. I solved the problem. Best regards, Qiuping Yi Parasol Laboratory Department of Computer Science and Engineering Texas A 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

Re: [klee-dev] One question about external dispatcher

2017-01-28 Thread Dan Liew

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)