社区概况

照片

身为理发师对冲基金


2018年起活跃

统计数据

  • 感恩1级

视图徽章

内容提要

视图

问题


中间语言的翻译阶段耗费太多时间
你好，中间语言翻译卡住了很长一段时间(可能24小时或更长时间)，每…

4年前|回答| 0

0

答案

问题


无法获取Blob文件:Polyspace错误
你好，Polyspace Codeprover版本:R2018a我的Polyspace code prover结果显示在作业监视器中完成，但我不能…

4年前|回答| 0

0

答案

问题


对Polyspace代码验证结果进行了半分析
你好，我的多空间代码证明结果分析得不够好，因为大多数函数都是灰色代码，进一步…

4年前| 1回答| 0

1

回答

问题


MISRA违规矩阵中错误的严重程度如何排序?
<>有人能给我一些关于如何排名seve. png的建议吗?

4年前|回答| 0

0

答案