How do we display the output of Klee's execution?

[fengli1702]

As you can see, I make sure the result of Klee is right, located in the directory with the source code. But how could we show the result?

Detailed information is sent to your email.

Thanks.

[TaylorCarpenter]

What is the output? What exactly are you trying to see?

[fengli1702]

I modified your tools and made sure the Klee is installed correctly. As you can see from the output, when I use your command line, it seems that the size of the output is zero.I expect to see the output shown in the first picture.
By the way, I sent an email to you one day ago; it included what I have done to support Klee.

[TaylorCarpenter]

So that is not how this works. By declaring the plugin as "source to source", it means the tool should take in source code and output source code -- i.e., it should transform the source code. Similar to how clang-format takes in source code, formats it, and then outputs source code. If your tool does not perform a modification of the source code and instead performs some analysis on it, we need to discuss what that would look like.