逻辑定位

通过先回溯后正向的半形式化追踪定位已确认失败的根因。用户提供堆栈、失败断言、错误或具体错误值时（“找 bug”“此测试失败”“追踪崩溃原因”）使用。