Hi, there in an open PR about this, which you might like to use,
although it still requires some work: https://github.com/klee/klee/pull/473
Best,
Cristian
On 03/03/2018 08:06, Alberto Barbaro wrote:
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
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
