Scyther for Windows 中的安装错误

Question

我尝试使用名为 Scyther 的协议验证工具来验证协议，并尝试为我的 Windows 安装它。我按照此链接 (https://people.cispa.io/cas.cremers/scyther/install-generic.html) 的说明进行操作。我有 python 2.7、graphviz 2.38 和 wxpython 4.0.3。但是，每当我运行代码 (scyther-gui.py) 时，都会收到以下错误消息：

“回溯（最近一次调用最后一次）： 文件“.......\scyther-gui.py”，第 141 行，在 MySplashScreen 类（wx.SplashScreen）： AttributeError: 'module' 对象没有属性 'SplashScreen' "

此类错误可能是什么问题？

Answer 1

SplashScreen 小部件不再在 wxPython 4 中的 wx.SplashScreen 中。它在 wx.adv.SplashScreen 中

有关详细信息，请参阅文档：

• https://wxpython.org/Phoenix/docs/html/wx.adv.SplashScreen.html

您必须使用旧版本的 wxPython 才能完成这项工作。