mujueke

摘要： window->Preferences->java->Install JREs->Add 然后选择对应的JRE即可 通常在系统中配置好java之后都能找到相应的JRE。 阅读全文

摘要： 预备的编译工作 首先将cpachecker的整个项目下载下来，然后导入到eclipse中。成功导入之后进行Build Path的检查，查看依赖的库中是否有缺失的（有问题的库在Classpath中会出现红色的×，对应的项目图标也会有红色的×）。 对于有影响的库，需要想办法添加，没有影响的直接将有问题的 阅读全文