[klee-dev] why different traces are generated under the same input?

[Qiuping Yi]

Hi,

I ran klee on 'findutils' under the same input without any symbolic
variable, and want to get a determinate execution. However, I get two
different executions randomly(one path with a bigger probability).  Why?
How can I get a determinate execution? Thank you very much.


--------------------------------------------
Qiuping Yi
Institute Of Software
Chinese Academy of Sciences
-------------- next part --------------
HTML attachment scrubbed and removed