詳細なビルド (コマンド表示)。コンパイラの出力も表示されます。

.rtw ファイルを残す.このパラメーターは、ターゲット ファイルを変更中に model.rtw ファイルを調べる必要があるときに便利です。

TLC アサーションを有効にする.または、MATLAB コマンドを使用して、TLC アサーション処理を制御することができます。

フラグをオンまたはオフに設定するには、set_param コマンドを使用します。既定はオフです。

set_param(model, 'TLCAssertion', 'on|off') 

現在の設定をチェックするには、get_param を使用します。

get_param(model, 'TLCAssertion')

[診断] 、 [データ有効性] ペインの調整可能性の消失を検出。このパラメーターを使用して、式が数値の式に簡略化される時に調整可能性の消失を報告することができます。調整可能なワークスペース変数がマスク初期化コードにより変更されたり、サポートされていない演算子またが関数をもつ演算式内で使用されたりすると、この消失が発生することがあります。可能な値は以下のとおりです。

サポートされている演算子と関数のリストの詳細については、調整可能な式の制限を参照してください。

Model Verification ブロックを有効にする.このパラメーターを使用して、Assert、Check Static Gap、関連範囲チェック ブロックなどのモデル検証ブロックを有効/無効にします。この診断は生成コードおよびシミュレーションの動作に適用されます。たとえば、モデル検証ブロックが S-Function 内にあると、シミュレーションとコード生成はこのパラメーターを無視します。可能な値は以下のとおりです。

無効にされなかった Assertion ブロックの場合、ブロック入力信号タイプ (それぞれ boolean、実数、整数) により異なりますが、モデル用の生成コードは以下のステートメントのいずれか含みます。

utAssert(input_signal);
utAssert(input_signal != 0.0);
utAssert(input_signal != 0);

Variant activation time パラメーターが startup に設定され、Allow zero active variant controls パラメーターが off に設定されたバリアント ブロックがモデルに含まれている場合、生成されたコード内の関数 model_initialize にはこのアサーションが含まれます。

utAssert(<variant condition expression on the block>);

既定の設定では、utAssert は生成コードを変更しません。実行を中止するアサーションの場合は、[コード生成]、make コマンドパラメーターに次の make_rtw コマンドを指定することにより、それらを有効にしなければなりません。

make_rtw OPTS="-DDOASSERTS"

トリガーされたアサーションが実行を中止する代わりにアサーション ステートメントを出力するようにしたい場合は、以下のバリアントを使用します。

make_rtw OPTS="-DDOASSERTS -DPRINT_ASSERTS"

utAssert は #define utAssert(exp) assert(exp) として定義されます。

アサーション動作をカスタマイズするには、既定の utAssert.h をオーバーライドする手書きのヘッダー ファイル内で、自分の utAssert の定義を提供します。カスタマイズされたヘッダー ファイルを生成コード内に含める方法の詳細については、モデル コンフィギュレーション パラメーターを使用した外部コードの統合を参照してください。

アクセラレータ モードでモデルを実行する場合は、Simulink^® エンジンは生成コードを使用する代わりに自身を呼び出して、Assertion ブロックを実行します。そのため、アサーションが失敗すると、ユーザー定義のコールバックは再び呼び出されます。