主要内容

启用 TLC 断言

生成 TLC 栈跟踪

模型配置窗格: 代码生成

描述

启用 TLC 断言参数指示代码生成器在断言指令的参量的计算结果为 false 时生成 TLC 栈跟踪。

设置

off (默认) | on
On

如果用户提供的 TLC 文件包含计算结果为 FALSE 的 %assert 指令,则停止编译过程。

Off

在编译过程中忽略 TLC 断言代码。

推荐的设置

应用情形设置
调试On
可追溯性无影响
效率无影响
安全预警

无建议

编程用法

参数:TLCAssert
类型:字符向量
值:'on' | 'off'
默认值:'off'

版本历史记录

在 R2006a 中推出