Scyther for Windows中的安装错误

Question

我试图用一个叫做Scyther的协议验证工具来验证一个协议，并试图在我的windows上安装它。我是按照这个链接（https://people.cispa.io/cas.cremers/scyther/install-generic.html）的指示操作的。我有python2.7、graphviz 2.38和wxpython4.0.3。但是，每当我运行代码（scyther-图形用户界面.py)，我收到以下错误消息：

“回溯（最近一次呼叫）： 文件“……\scyther”-图形用户界面.py“，第141行，英寸 类mysprashscreen(wx.喷溅屏): AttributeError:“module”对象没有属性“SplashScreen”

对于这种错误，可能的问题是什么？在

Answer 1

在wxpython4中，SplashScreen小部件不再位于wx.SplashScreen中。它在wx.adv.SplashScreen

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

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

您必须使用wxPython的旧版本才能使其工作。在