[klee-dev] How to get only path conditions in human friendly mode?

[Javier Godoy]

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