My code is compiled successfully. But facing issue Invalid_Labelop(Invalid_Labelop) raised while ruuning in the server.
Show older comments
I'm running polyspace Bug finder for my project in polyspace 2025b version. code is compiled successfully but got error while running in the server. And I'm ruuning polyspace code prover for the same code. It is running successfully on the server.
**********************************************************
***
*** Beginning Bug-finder - Pre-analysis
***
**********************************************************
**** Bug-finder - Pre-analysis - 1 (P_AL)
Total complexity = 1562136
**** Bug-finder - Pre-analysis - 1 (P_AL) took 159.08real, 159.08u + 0s (31.95gc)
**** Bug-finder - Pre-analysis - 2 (P_ACP)
exception Invalid_Labelop(Invalid_Labelop) raised.
Error: An internal error has occurred. Look at the log file for details.
---------------------------------------------------------------------------------------
--- ---
--- 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 (0)
Categories
Find more on Run Settings in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!