该工具用于使用PolySpace结果彩色Simuli万博1manbetxnk模型，以显示直接显示哪些块包含或不运行时差（如ZERO，overflow ...）。
有4种颜色：
-Green：没有运行时错误
-Red：系统运行时错误
-Gray：无法访问的代码
- 语法：未经证实的代码（潜在错误）
引用
大卫贾夫（2021年）。来自PolySpace验证的颜色模型（//www.tianjin-qmedu.com/matlabcentral/fileexchange/29799-Color-Model-From-PolySpace-verification），Matlab中央文件交换。检索到。
Matlab释放兼容性
使用R2008B创建
兼容任何释放
