[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!!! :)

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