更多说明
该Polyspace编译器使用CI文件报告的具体编译错误信息给开发者。
CI 文件格式
文件类型描述
Polyspace预代码文件
文件摘要（自动生成）
根据本网站数据统计，CI 文件扩展名相关的格式总共有 2 种。当前这种 CI 格式是一种 开发者文件 ，是由 The MathWorks公司 研发，作为一种 Polyspace预代码文件使用，此文件流行程度是 100 分（0-100满分）。Windows系统下，推荐使用MathWorksPolyspace软件程序打开、查看、运行此类文件。在苹果Mac系统下，推荐使用软件程序打开运行。如果是在手机上运行，请下载安卓或者IOS应用程序，通过APP打开 CI 文件。请参阅下面详细信息，了解更多有关 CI 文件扩展名信息、系统、软件、程序等内容。以及更多关于 开发者文件 的信息。 此外，我们还提供简单的故障排除信息，以帮助您打开 CI 文件。
文件打不开的常见原因
大多数情况下，软件正确安装一般就可以解决您的问题。 当打开 CI 文件时，有可能会因为系统、文件、注册表等原因，导致打开失败，请检查以下问题：
- CI软件注册表文件路径被损坏；
- 错误地删除了注册表信息，导致 CI 失效；
- 创建 CI 文件时出错，导致文件损坏；
- MathWorksPolyspace软件内部错误，导致无法打开 CI 格式；
- CI 文件拷贝复制时损坏；
- 系统中开发者文件相关软件程序缺失或损坏；
- 保存 CI 格式时因存储器空间不够，导致文件丢失识别信息；
- 无法打开受恶意软件污染的 CI 文件；
- 杀毒软件或安全软件阻止了软件执行 CI 文件；
- CI 相关硬件的设备驱动程序已过时；
- 打开的应用程序太多，无法成功加载MathWorksPolyspace软件；
详细说明
通过Polyspace使用的编译器文件，代码验证工具用于执行C ++和Ada源的静态数据;包含原始文件的副本被编译，除了头，宏和充分发展的文件中的其他结构。
格式相关疑难解答
未安装MathWorksPolyspace相关软件
不管您使用的是Windows系统、苹果Mac系统，还是Linux系统，无法识别和打开 CI 文件格式，通常是因为缺少相关软件，例如 “Windows 10 无法打开 CI 文件扩展名” ， 如果是这种情况，通常是因为你的计算机上没有安装 MathWorksPolyspace 相关软件。缺少必要软件，也就缺少了运行的必要环境。您可以尝试下载并安装 MathWorksPolyspace 软件，然后再尝试打开 CI 这种文件格式。结论：打不开 CI 文件，是由于缺少相关软件。
已安装相关软件，但遇到错误提示
在一般情况下 The MathWorks公司 开发的 CI 文件格式是由MathWorksPolyspace软件来执行打开操作的，但遇到版本过旧、软件错误、注册表问题，因而导致无法打开并执行 CI 文件。建议安装最新版本，或可以试试其他相关软件。文件打开错误，是由于MathWorksPolyspace 软件（版本、环境）安装错误，请重新安装。
已安装软件，但不开 CI 文件格式
经过本网站统计，CI 扩展名共有 2 种，很可能你需要的 CI 文件，并非开发者文件文件！请确认您要打开的格式是不是“Polyspace预代码文件”。如果不是，请查看全部【 CI 】同名的格式。结论：你要找的 CI 格式，或许并不是一种 开发者文件。
关于CI 格式的信息
对于后缀为.CI 的这种文件扩展名我们也一直在跟踪它的发现变化，以及哪些新发布的软件可以打开.CI 格式。但或许.CI 文件并不只这一种，自从有文件格式扩展名开始，每天都有很多新格式被分配命名。
我们文件格式查询信息库网站努力向为网络用户提供100%的内容准确性，严格测试和验证文件格式信息。您也可以帮助我们提高工作效率！比如您可以提供更多关于.CI 文件的线索，【提交新文件格式】。