在 scyther 安全验证工具中，当我尝试验证协议时，它显示“运行 scyther”和“永远验证协议描述”。它既不会给出任何错误或结果。有谁知道为什么会这样？
我试图修复它但不能。可能是我无法弄清楚但仍在尝试的小问题。
我想知道是什么导致“飞天镰刀”永远存在。