このチェックリストのアイテムはソースコードです
このチェックリストのアイテムは、Modelifyの低減分析により、飽和低減の適用中にソースコード内に問題が存在する可能性があることが判明した際に作成されます。変数の値を飽和させる試みが行われているものの、定数が正しい順番ではないとコードが示唆する際に報告されます。
ソースコードで正しいかどうかをチェックし、誤っている場合は修正して下さい。正しい場合はこのメッセージを無視して下さい。
ご不明な点はEメールにてEnSoftのサポートにお問い合わせ下さい（support@ensoftcorp.com）。