Polyspace可以在WSL2下使用,因为WSL2基本上是一个运行在Windows环境中的Linux内核。
如果只使用Linux命令,使用这些产品应该没有问题,包括polyspace-下载188bet金宝搏configure工具。例如,如果使用调用Windows应用程序的命令调用Linux版本的polyspace-configure,就会出现问题。
WSL2的使用目前还没有得到官方的支持:没有验证,所以我们不能保证Polyspace在任何情况下都能工作,我们也金宝app不能为这种使用提供支持。