MATLAB的答案

试用软件

Polyspace代码验证用户程序错误:没有可用的功能,与-main-generator-calls类范围调用选项

3视图(30天)

显示旧的评论

MathWorks支万博1manbetx持团队 2023年1月26日

0
链接

这个问题直接联系

//www.tianjin-qmedu.com/matlabcentral/answers/1901435-polyspace-code-prover-user-program-error-no-functions-available-that-are-out-of-class-scope-to-call

回答: MathWorks支万博1manbetx持团队 2023年1月26日

答:接受 MathWorks支万博1manbetx持团队

我面临一个问题而启动Polyspace代码验证分析一个项目。我的经验没有问题Polyspace Bug仪在同一项目。然而在运行分析我收到以下错误。

                         存根标准库函数…
                        
                         做代码转换…
                        
                         用户程序错误:没有可用的功能,与-main-generator-calls类范围调用选项。
                        
                         包装编译的数据
                        
                         完成了。

你有什么建议关于如何解决这个错误?

在回答这个问题。

接受的答案

MathWorks支万博1manbetx持团队 2023年1月26日

0
链接

直接链接到这个答案

//www.tianjin-qmedu.com/matlabcentral/answers/1901435-polyspace-code-prover-user-program-error-no-functions-available-that-are-out-of-class-scope-to-call answer_1157220

这个错误表明“-main-generator-calls”被定义为“没有”。

这导致没有函数调用和随后的错误。

有关更多信息,请参考以下文档在“主发电机”功能选项。

//www.tianjin-qmedu.com/help/releases/R2021a/codeprover/ref/verifymoduleorlibrarymaingenerator.html

//www.tianjin-qmedu.com/help/releases/R2021a/codeprover/ref/functionstocallmaingeneratorcalls.html

请注意分析可能需要很长时间才能完成。

0评论
显示1年长的评论藏1年长的评论

登录置评。

更多的答案(0)

在回答这个问题。

类别

代码验证 Polyspace代码验证配置和运行分析 Polyspace代码验证分析选项的完整列表代码验证验证

验证、验证和测试 Polyspace代码验证配置和运行分析 Polyspace代码验证分析选项的完整列表代码验证验证

找到更多的在代码验证验证在帮助中心和文件交换

标签

s manbetx 845

Polyspace代码验证服务器

释放

R2021a

社区寻宝

找到宝藏在MATLAB中央,发现社区如何帮助你!

开始狩猎!

试用软件