标签： klee
如果在一次执行中发现断言失败，KLEE将报告它，然后忽略它并继续搜索其他执行。然后它提出了我的问题：是否有任何配置或技巧迫使KLEE在发现断言失败时停止搜索？或者我是否必须对源代码进行修改并重新构建KLEE来实现它？希望有启发性的解决方案。提前谢谢！