详细构建。编译器输出也显示。

保留.rtw文件。如果要修改目标文件，则此参数非常有用，在这种情况下，您需要查看模型.rtw.文件。

启用TLC断言。或者，您可以使用MATLAB命令来控制TLC断言处理。

要打开或关闭标志，请使用set_param.命令。默认值关闭。

set_param（型号，'tlcassertion'，'Own'）

检查当前设置，使用get_param.。

get_param（型号，'tlcassertion'）

检测可调性损失在这一点诊断>数据有效性窗格。当表达式减少到数字表达式时，您可以使用此参数报告可调性丢失。如果通过掩码初始化代码修改可调谐工作空间变量，或者在具有不受支持的运算符或函数的算术表达式中使用，则会发生这种情况。金宝app可能的值是：

有关支持的运营商和功能列表，金宝app请参阅可调表达限制

模型验证块启用。使用此参数可启用或禁用模型验证块，例如断言，检查静态间隙和相关范围检查块。诊断适用于生成的代码和仿真行为。例如，当模型验证块在S函数内时，仿真和代码生成忽略此参数。可能的值是：

对于未禁用的断言块，模型的生成代码包括以下语句之一，具体取决于块输入信号类型（分别为Boolean，Real或Integer）。

utassert（input_signal）;utassert（input_signal！= 0.0）;utassert（input_signal！= 0）;

默认情况下，Utassert.不会更改生成的代码。对于中止执行的断言，您必须通过指定以下方式启用它们make_rtw.命令代码>制作命令范围：

make_rtw opts =“ -  ddoasserts”

如果要触发断言以打印断言语句而不是中止执行，请使用以下变体：

make_rtw opts =“ -  ddoasserts -dprint_asserts”

utassert被定义为#define utassert（exp）断言（exp）。

要自定义断言行为，请提供自己的定义Utassert.在覆盖默认的手写头文件中Utassert.h.。有关如何在生成的代码中包含自定义头文件的详细信息，请参阅通过使用模型配置参数集成外部代码。

在Accelerator模式下运行模型时，Simulink金宝app^®引擎呼叫返回自身以执行断言块而不是使用生成的代码。因此，当断言失败时仍称为用户定义的回调。