Re: [klee-dev] Print out intermediate symbolic representation for each path instead on generating test-case for each path

Hi, On 2 November 2016 at 15:52, wrote: > Dear Klee developers, > > > I am trying to use Klee for specification generation. To do that I need > Klee's intermediate symbolic results. Specifically, I need the guards of > each path in the program to be printed in their

[klee-dev] Print out intermediate symbolic representation for each path instead on generating test-case for each path

Dear Klee developers, I am trying to use Klee for specification generation. To do that I need Klee's intermediate symbolic results. Specifically, I need the guards of each path in the program to be printed in their symbolic forms. For example, in the following program: get_sign(int a,char