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
Hi,
On 27 January 2017 at 22:20, Cong Yan wrote:
> Hi,
>
> Is klee able to generate an expression combining different paths? For
> example,
>
> if (a)
> stmt1;
> else
> stmt2;
> stmt3;
The answer is yes and no. It is all dependent on how the C program
above is translated into LLVM IR
Fo
