社区资料

照片

托马斯


Elektrobit汽车GmbH

上次见：1年前|自2014年以来活跃

接触

统计数据

  • 感恩2级
  • 感恩1级

查看徽章

内容提要

查看

问题


PS代码供摊贩 - 工具提示文本展开，获取完整列表
大家好。我正在调查PS Code供奉献中的橙色发现。在非原始。指针查找，工具提示向我展示了...

1年前|1答案|0

1

回答

问题


PS-CP：是否可以添加一个源文件，该源文件包含PS项目的所有必要存根，当所有SourceFiles都将独立验证时？
大家好。1.我通过python脚本在commandline上使用PS CP，因此生成了“ source_list.txt”，并包含...的所有C文件。

5年前|1答案|0

1

回答

问题


PS生成的Stubb中的红色问题
嗨，再次，下一个问题;-)在开关情况下，我有“默认”（宏扩展）：默认值：{（（void ...）

7年前|0答案|0

0

答案

问题


PS代码供者在服务器上进行分析 - 使用一半的内核数。
嗨，我正在批处理模式（远程分析）中使用PS Codeprover。我的maschine是四核（8带HT）。PS配置为“ -ma ...

7年前|0答案|1

0

答案

问题


如何通过TextFile（PS2014B）正确设置DRS？
大家好，作为ps noob，我想通过textfile（range.txt）手动设置drs： * function1.mindelay 0x00 0xffff init * function *函数...

7年前|1答案|0

1

回答

问题


polyspace：定义处理不正确吗？
嗨，我在optionsfile中定义了SOMME的sepcifiend：-d cpu = 2;-d cpu_slave = 2;-d cpu_master = 1;-d平台= 2我也...

7年前|1答案|0

1

回答