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

[Cristian Cadar]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>