Polyspace Bug Finder shut down in command line

I am using Polyspace Bug Finder plug in for Eclipse. The issue is that after I finished my work I want to release the license. I want to be able to do this without restarting my Eclipse. How can I do it?

Answer 1

[Alexandre De Barros]

Hello Daniel,

Unfortunately, it is not possible in the current release: you have to exit Eclipse. Good news: in the next release (R2014b), the license is released when you select the menu entry "Close Results".

Best regards,

Alexandre