Hi! Is possible with Klee get only all path conditions from a symbolic execution over a method?
Example: For the next method, i need to obtain "(x+1 > 0)" and "(x+1 <= 0)".
void m(int x)
{
int a = x + 1;
if a > 0
print 1;
else
print 0;
}
Thanks!!! :)
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
