[参考译文] SAFETI-HALCOGEN-CSP：用于 CSP 演示的 LDRA 评估许可证

我与 LDRA 保持联系、他们为"LDRAunit-TI-QUAL"提供了评估许可证、这显然是运行 HALCOGEN-CSP 所需的特定封装。

我还需要下载更新 的 FlexLM 许可证管理器。

在 LDRA 许可证配置中、LDRA 许可证现在看起来是正确的、但我仍然无法 运行 HALCOGEN-CSP-DEMO 测试。 τ 输出始终类似于：

------------------------------------------------------------------
测试顺序：\Test\RTI\UnitTest
正在生成 makefile....通过...
正在生成 TCF 文件...通过...
正在验证和构建测试序列...
生成失败...请检查文件夹\Test\RTI\UnitTest 中的日志文件。
------------------------------------------------------------------

但是、日志文件不包含构建信息。 我尝试安装 ARM 编译器 v5.1.6并使用提供的示例工程、结果相同。