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 klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev