Polyspace code prover crashes with Internal error

6 次查看（过去 30 天）
Rahul K
Rahul K 2018-11-6
编辑： Alexandre De Barros 2020-11-24
Error GAA server exited on 26744 seconds timeout Warning: The C2IL translation has been stopped by timeout (after 86400 seconds).
--------------------------------------------------------------------------------------- --- --- --- Polyspace has encountered an internal error. Please do one of the following: --- --- * Check if the error comes from your antivirus software. Disconnect from the --- --- network, suspend your antivirus temporarily and restart. --- --- * Check MathWorks Bug Reports or MATLAB Answers for a similar problem and --- --- possible workarounds. --- --- * Contact Technical Support (TS) via: www.mathworks.com/support/contact_us. --- --- - To help TS reproduce the issue, provide the results folder in compressed --- --- (.zip) form. The folder includes the log file with your analysis options. --- --- - If you do not want to send the results folder, use Polyspace Obfuscator --- --- to obfuscate details of your code: download the tool on MATLAB Central. --- --- Then provide the obfuscation.zip and log file. --- --- ---

请先登录，再回答此问题。

回答（1 个）

Alexandre De Barros
Alexandre De Barros 2018-11-10
编辑：Alexandre De Barros 2020-11-24
Hello,
This message is the symptom of a scaling behavior, probably due to the size of the project.
Please refer to this other question to know more about how to deal with this kind of behavior.
What to do when facing a scaling behavior with Polyspace Code Prover? - MATLAB Answers - MATLAB Central (mathworks.com)

类别

在 Help Center 和 File Exchange 中查找有关 Bug Finder Analysis 的更多信息

标签

产品


版本

R2017a

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by