Why does my verification stop with the message "Failure with error code 241"?

While running my Polyspace analysis, the verification can occasionally terminate with the message:

 Failure with error code 241

Answer 1

[MathWorks Support Team]

The error code actually comes from a FLEXlm error code, that has been changed into an unsigned value; the error code 241 is equal to the FLEXlm error code -15.

This code corresponds to the message "Cannot connect to license server system".

The reason for the error message is that the server is too busy to answer, including license requests.

One workaround is to use a separate physical machine to run as the network license manager.