Why does the Polyspace as You Code not work with an environment variable set?

Why does the Polyspace as You Code not work with an environment variable set? 

Answer 1

[MathWorks Support Team]

This is a known issue in R2021b. To resolve, please use a network.lic as a workaround.

To create a network.lic, you may use one of the two methods below:

• Convert a license.dat to a network.lic by deleting everything but the first—SERVER—line and replacing it with the USE_SERVER directive.
• Manually create a network.lic 
  • The network.lic contains two lines: a SERVER line and the USE_SERVER directive.

The end result should look like the following:

SERVER {hostname} {HostID} 27000

USE_SERVER

Note: When creating/saving the network.lic, it must be a LIC file and not a txt file.

Once you have created the network.lic, place it in the \licenses folder where Polyspace is installed.

Where are the license files for MATLAB located?

https://www.mathworks.com/matlabcentral/answers/99147-where-can-i-find-matlab-license-files