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
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
