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
Hi,
Is klee able to generate an expression combining different paths? For
example,
if (a)
stmt1;
else
stmt2;
stmt3;
To reach stmt3, is klee able to generate constraints like (a AND
constraint(stmt1)) OR ((NOT a) AND constraint(stmt2))?
Thanks,
Cong
__
