[klee-dev] Possible improvement for --write-paths

[Alberto Barbaro]

Hi again,
I have seen that it is possible to save the paths using the option
--write-paths, the output contains a lot of 0 and 1 which I guess are the
result for branches. Is it possible to have a more verbose output
containing for example the list of addresses encountered? If so, can I have
an idea on how to do it please?

Thanks
-------------- next part --------------
HTML attachment scrubbed and removed