Hello, I'm trying to run some tests in Klee and I'd like to be able to get deterministic runs of Klee. I think I've found all relevant sources of non-determinism, and it appears to me that Klee should run deterministically, but it doesn't. Essentially, I've verified that srand, srandom, and other pseudo-random seeds are all constant.
What are the other sources of non-determinism? Is it easy to remove them and stick with pseudo-randomness? Thanks. -Denis
