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
