预期结果)我的代码引用了官方的z3py,凡人苏格拉底分发的示例程序。然而,我却找不出如何描述这种关系。Dead = Function('Dead', Person, BoolSort())
# free variables used in forall must be declared Const in python
// returning a msg here to the Post method in MessagesController. }
当我调试时,似乎在启动时,两个线程正在运行bot,两个线程都在Post方法中执行,因此都调用了HandleSystemMessage.这对我来说是个问题,因为有两个线程正在执行该方法,我的欢迎消息将在屏幕上打印两次。我试着锁上打印的msg,让其中一个线程进入休眠状态,但没有一个线程起作用。我不知道为什么一开始有两个线