Greetings, While trying to figure out some path replay problems that I mentioned in a previous mail, I discovered that Klee, run twice with the same program input, generates different assembly.ll files. The differences lie mostly in the LLVM debugging information, the ordering of some functions in the file, and the name of some constant strings. Does that mean that the generated Module objects are different? If so, does it affect the shape of the symbolic tree (in my case, it might explain the replay problems)?
Thanks, Stefan
