Windows版Scyther中的安装错误

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）时，都会收到以下错误消息：

”跟踪（最近一次通话结束）：   在第141行的文件“ ....... \ scyther-gui.py”中     类MySplashScreen（wx.SplashScreen）： AttributeError：“模块”对象没有属性“ SplashScreen”“

这种错误可能是什么原因？

Answer 1

在wxPython 4中SplashScreen小部件不再位于wx.SplashScreen中，而在wx.adv.SplashScreen中

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

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

您将必须使用旧版本的wxPython才能使它工作。