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