Когда вы пытаетесь запустить Polyspace®, вы получите следующее сообщение об ошибке:
License Error -4,0
Можно открыть несколько образцы Polyspace, но одновременно можно запустить только один анализ кода.
Если вы попытаетесь запустить процессы Polyspace из нескольких окон, то получите License Error –4,0
ошибка.
Запускайте только один анализ за раз, включая любой анализ командной строки или плагина.
Если вы запускаете Polyspace на сгенерированном коде в Simulink® пользовательский интерфейс или в MATLAB® Coder™ приложении можно получить ошибку лицензии, если попытаться запустить последующий анализ в пользовательском интерфейсе Polyspace. Вы получите ошибку, даже если предыдущий запуск закончен.
Выполните последующий анализ с помощью метода, который вы использовали ранее, то есть в пользовательском интерфейсе Simulink или приложении MATLAB Coder.
Если вы хотите запустить анализ в пользовательском интерфейсе Polyspace, закройте Simulink или MATLAB Coder и повторите анализ.