Polyspace可以使用下WSL2因为WSL2基本上是一个Linux内核在Windows环境中运行。
应该没有问题,使用产品,包括工具polyspace-configure要是使s manbetx 845用Linux命令。例如如果Linux版本的问题可能发生polyspace-configure叫做命令调用Windows应用程序。
然后使用WSL2目前没有正式支持:没有确认,所以我们不能保证Polyspace将工作在每一个情况下,我们无法提供万博1manbetx支持这种用法。
