We recently purchased a Polyspace Bug Finder Server license and are running it inside a Docker container using the official reference setup from the link:
To keep things simple, we would like to use a standalone license file (i.e., license.lic) instead of setting up a license server and it is the easiest way to integrate Polyspace bug finder server with our existing system.
However, when I go to the License Center, under Install and Activate, I do not see an option for "Get File Installation Key." Instead, I see:
- “Activate a License Server”
- “Advanced options,” which only shows an “Activation Key”
I’m not sure if this Activation Key can be used to obtain a license file and how to get the license file.
Has anyone successfully run Polyspace Bug Finder Server in Docker with a standalone license file?
