[klee-dev] Can klee generate a combined path expression to reach a particular statement?

[Cong Yan]

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
-------------- next part --------------
HTML attachment scrubbed and removed