Polyspace code prover crashes with Internal error

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. --- --- ---

Answer 1

[Alexandre De Barros]

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)