My code is compiled successfully. But facing issue Invalid_La​belop(Inva​lid_Labelo​p) raised while ruuning in the server.

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)

Products

Release

R2025b

Asked:

on 15 Jul 2026

Community Treasure Hunt

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

Start Hunting!