Polyspace code prover crashes with Internal error

14 views (last 30 days)
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. --- --- ---

Answers (1)

Alexandre De Barros
Alexandre De Barros on 10 Nov 2018
Edited: Alexandre De Barros on 24 Nov 2020
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.

Community Treasure Hunt

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

Start Hunting!