螳螂 是执行NPSAT前进阶段的服务器应用程序。 在开发过程中，我们开发了几个不同的版本。 但是，重点是c ++服务器实现。 C ++服务器 C ++版本是我们实际支持的版本。 最终，一旦我确定了如何通过codedocs正确设置我的doxygen文档，就可以获得代码的详细文档。 同时，这里有一些有用的信息。 要获取选项列表，请执行以下操作 MantisServer.exe -h 要以测试模式运行服务器，请使用 MantisServer.exe -c config_file -t 在测试模