社区概况

照片

斯坦Heselmans


自2017年以来活跃

统计数据

  • 感谢3级

视图徽章

内容提要

视图

问题


Polypace bugfinder R2018A不从ubuntu 18.04.1 LTS开始
我安装了ubuntu 18.04.1 LTS和matlab R2018A。没有问题,我可以启动matlab。当启动bugfinder(从垫……

5年前| | 0 0的答案

0

答案

回答
Polyspace PDF报告不呈现字符
问题是font-problem。虽然字体可能是可能的,解决这个问题我升级到R2018a (R2016a)和…

5年前| 0

|接受

问题


Polyspace PDF报告不呈现字符
PDF报告生成并不在debian上工作。Debian版本是Debian GNU / Linux 8.10(杰西)。PDF包含所有# # # # #。麻木了…

5年前| 1 | 0回答

1

回答

回答
Codeprover:所有变量都是未使用的
其他病因:对于一些变量codeprover不能决定应该使用范围。如只读…

5年前| 0

问题


用c型号替换装配codeprover
在我们的嵌入式软件,我们有一些装配库(组授予了文件,但也内联asm在其他c / h文件)执行硕士…

5年前| 1 | 0回答

1

回答

问题


Codeprover:所有变量都是未使用的
我跑步polyspace codeprover软件项目。据报道,似乎所有的变量是未使用的。看……

5年前| | 0 2的答案

2

答案

问题


Polyspace能证明递归是不可能的吗?
我们有一个statemachine实现在C嵌入式汽车产品,使用table-approach。表包含黑……

5年前| 1 | 0回答

1

回答

问题


下载从指标筛选数据
我们运行polyspace在CI (bugfinder和codeprover)工作。CI生成一个html报告,可以被工程师。当一个……

6年前| 1 | 0回答

1

回答

问题


弱符号codeprover
我们使用gcc将为了马克功能弱在图书馆。这样的项目包括这些库可以overwri…

6年前| 1 | 0回答

1

回答

问题


为临界区代码验证希望userdef函数
从我得到这个错误:code-prover stub标准库函数…传播数据类型……50%传播……

6年前| 1 | 0回答

1

回答

问题


打印基金——放大图像
我打印模型基金(jpeg)图金宝app像模型,这里的指导如下:https://nl.mathworks.com/matlabcentral/answers/809..。

6年前| 1 | 0回答

1

回答