On 01/09/10 19:44, Bueno, Denis wrote: > > On Sep 1, 2010, at 11:15 AM, Cristian Cadar wrote: > >> >> Hi Denis, >> >> The non-deterministic behavior that you see in your runs is most likely >> caused by the addresses returned by malloc(). I think there was a >> previous thread on the list which discussed possible solutions to this, >> let me know if you have trouble finding it in the archives. >> >> Best, >> Cristian > > Is this the thread you're thinking of, or was there something more? > > http://keeda.stanford.edu/pipermail/klee-dev/2010-March/000251.html
Yes, this is the one I had in mind. Best, Cristian
