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 -Denis
