社区概况

照片

托马斯。


Elektrobit Automotive GmbH

最后一次出现:1年前|2014年起活跃

联系

统计数据

  • 感恩2级
  • 感恩1级

视图徽章

内容提要

视图

问题


PS代码证明-工具提示文本展开，得到完整的列表
嗨。我正在PS代码验证程序中调查橙色发现。在Non-init中。指针查找，工具提示显示我在哪里…

1年前| 1答案| 0

1

回答

问题


PS- cp:当所有的源文件都要独立验证时，是否可以为PS项目添加一个包含所有必要存根的源文件?
嗨。1.我通过Python脚本在命令行使用PS CP，因此生成了一个“source_list.txt”，并包含所有的c文件…

5年前| 1回答| 0

1

回答

问题


红色问题在PS生成stubb
嗨，再次，下一个问题;-)在一个开关的情况下，我有以下“default”(宏扩展):

7年前|回答| 0

0

答案

问题


服务器上的PS代码验证分析-使用一半的核数。
嗨，我正在使用PS CodeProver批量模式(远程分析)。我的机器是一个四核(8与HT)。PS配置为“-ma…

7年前| 0回答| 1

0

答案

问题


如何通过文本文件(PS2014b)正确设置DRS ?
嗨，大家好，作为一个PS noob，我想通过textfile (range.txt): * function1手动设置DRS。minDelay 0x00 0xFFFF init函数…

7年前| 1回答| 0

1

回答

问题


Polyspace:定义-处理不正确?
Hi，我在optionsfile中指定了一些定义:-D CPU=2;- d CPU_SLAVE = 2;- d CPU_MASTER = 1;-D PLATFORM=2 Also i hv a…

8年前| 1回答| 0

1

回答