On 11/05/17 02:23, 曾杰 wrote: > Hi, all, i open an issue on GitHub > (https://github.com/klee/klee/issues/650) . I cannot confirm whether it > is an error of klee. I replied to this issue on GitHub, please follow up there if needed. Best, Cristian