这是一个问题在Polyspace Bug-finder:警告:无法创建临时文件:

7视图(30天)
这是一个问题在Polyspace Bug-finder:警告:无法创建临时文件…或者我可以忽略警告吗?
开始:2021年3月11日12:09:52星期四
主持人:mingw64_ntx_64 - 6.2 QATEST020 amd64
用户:scoqatest
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
* * *
* * *开始Bug-finder -功能分析
* * *
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
* * * * Bug-finder -功能分析- 1(验证功能#1到#100 388)2.42真实
* * * * Bug-finder -功能分析- 2(验证功能#101年到#200 388)8.09真实
警告:不能用户创建临时文件“C: \ \ SCOQAT ~当地1 \ AppData \ \ temp \ \ Polyspace \ 2 d10_1615489720 \ FF808D_1_100”。重试
“警告:无法创建临时文件C: \ \用户SCOQAT ~ 1 \ AppData \当地\ temp \ \ Polyspace \ 2 d10_1615489720 \ D302BD_1_100”。重试
“警告:无法创建临时文件C: \ \用户SCOQAT ~当地1 \ AppData \ \ temp \ \ Polyspace \ 2 d10_1615489720 \ 750738 _1_100”。重试

答案(1)

Anirban
Anirban 2021年3月15日
你可以安全地忽略警告。有逻辑包括恢复这些警告,除非你看到任何后续的错误似乎相关,似乎工作的逻辑。