このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Polyspace 実行時のライセンス エラー 4,0 を解決する。

問題

Polyspace^® を実行しようとすると以下のエラー メッセージが表示されます。

License Error -4,0

考えられる原因: 別の Polyspace インスタンスが実行されている

Polyspace のインスタンスを複数開くことはできますが、一度にコード解析を実行できるのは 1 つだけです。

Polyspace プロセスを複数のウィンドウから実行しようとすると、License Error –4,0 エラーが表示されます。

解決法

コマンド ラインやプラグイン解析を含め、一度に 1 つのコード解析のみを実行します。

考えられる原因: Simulink での前の Polyspace 実行

Simulink^® ユーザー インターフェイスで、生成されたコードに対して Polyspace を実行している場合、以降の解析を Polyspace ユーザー インターフェイスで実行しようとすると、ライセンス エラーが表示されることがあります。前の実行が終了している場合でもエラーが表示されます。

解決法

前に使った方法を利用して、すなわち、Simulink ユーザー インターフェイスで以降の解析を実行します。

Polyspace ユーザー インターフェイスで解析を実行する必要がある場合は、Simulink を閉じてから解析を再実行します。