在下刚接触polyspace工具，请教各位大神，代码测试完成之后如何把结果导出来？
https://www.baidu.com/link?url=y5CEkLcnejXDV8qgOsBga6qw11wrfbAgbkl4cpD90_NvBSlWg3I7gSmk-Z36ekaE_rMwFvF25ENtlVIh68EMfZSuKUqkmoT4jUJznh3JwIK&wd=&eqid=f77f692c000d34140000000558b4bc48