社区概况

照片

Birgit Roithner


最后一次出现:6个月前|自2018年以来活跃

统计数据

  • 感谢1级

视图徽章

内容提要

视图

问题


导入用Polyspace Access编写的注释
你好，我开始在一个持续集成工作流中使用Polyspace Access，想知道何时和如何注释哪个h…

1年前| 1回答| 0

1

回答

问题


是否有可能切换到其他发现在源代码面板的Polyspace访问?
你好，我想知道是否不可能在Polyspace Code Prover Access R2020a中切换“Source C…

1年前| 1回答| 0

1

回答

问题


是否可以将整数枚举设置为Polyspace配置中的一个选项?
Hello，任务编译器允许选项"integer enumeration"，其中编译器总是将枚举类型视为int as define…

1年前| 1回答| 0

1

回答

问题


为什么报告中的指标不是给出每个文件，而是只给出项目的最小值和最大值?
你好，我们正在使用Polyspace R2015b CodeProver和生成报告来自动读出最重要的信息…

3年前| 1回答| 0

1

回答