如果在一次执行中发现断言失败，KLEE将报告它，然后忽略它并继续搜索其他执行。然后我的问题来了：当发现断言失败时，有没有任何配置或技巧可以迫使KLEE停止搜索？或者我必须修改源代码并重新构建KLEE来实现它吗？希望有鼓舞人心的解决方案。提前感谢！
如果在分析的应用程序中默认发现错误，KLEE不会退出。另一方面，KLEE在某些故障时隐式退出。这种行为可以通过以下选项来改变：
-exit-on-error-出现第一个任意错误时退出。
-exit-on-error-type=TYPE-出现type类型的第一个错误时退出。可以重复此参数以在更多类型之后退出。
https://klee.github.io/docs/options/#making-klee退出事件