[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

_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev