PolyspaceBugFinder

怎么删除simulink模块名字 polyspace是什么？

polyspace是什么？这两个基本上绝大部分用户都用不上，删掉不会影响。PolyspaceBugFinderR2014a是直接输入代码的bug，比如说除0，逸出，数组...

2023-05-09 08:39:00 代码 错误 PolyspaceCodeProver PolyspaceBugFinder 问题