[CBMC学习笔记][3]正确Eclipse版本的下载和配置

这段时间一直在看CBMC这个Model Checker（http://www.cprover.org/cbmc/），如果要使用其Eclipse插件，需要进行少量的配置，这些天一直在尝试。

按照这里：http://www.cprover.org/eclipse-plugin/ 的要求，需要安装Eclipse Helios (3.6.2)这个特定版本，经过测试，确实需要该特定版本，3.7.0不能正常使用。并且需要下载Eclipse IDE for C/C++ Developers，其他版本均不能正常使用（CBMC毕竟是针对C/C++的model checker，在上篇日志中，转载了Eclipse C++开发环境的配置）上面版本的下载地址是：

http://www.eclipse.org/downloads/packages/eclipse-ide-cc-developers/heliossr2

【未完待续】

 

 

转载于:https://www.cnblogs.com/quyu/archive/2011/09/24/2189776.html