How to wait for an available license for Polyspace Bug Finder/Code Prover Server

There is a limited number of floating licenses available in our company and if none are left, Polyspace aborts with

22:02:18  Checking license ...
22:02:18  Error: License checkout failed.
22:02:18  
22:02:18  |      License Manager Error -4
22:02:18  
22:02:18  |      Maximum number of users for Polyspace_BF_Server reached.
22:02:18  
22:02:18  |      Try again later.

This is executed as part of the CI, so the whole build fails.

We will most probably increase the number of licenses, but it might still happen that all are in use. So the question is, how can it be implemented to wait for an available license instead of aborting with an error? Is it possible to configure a timeout or so?

[Anumeha]

Hi Peter,

You should contact the Installation & Licensing team at [e-mail].

[Peter Bauer]

thx, will do

Answer 1

[Peter Bauer]

According to the support, there is currently no way this can be done.

Answer 2

[Fangjun Jiang]

I think you can use license().

status = license('test',feature)
[status,errmsg] = license('checkout',feature)

[Peter Bauer]

Looks like Matlab Code, would this also work with Polyspace?