Windows 的 Scyther 安装错误

Question

我试图使用名为 Scyther 的协议验证工具来验证协议，并试图为我的 windows 安装它。我正在按照此 link (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 行，位于 class 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 来完成这项工作。