正式方法:如何在Eclipse IDE上安装CZT插件?

时间:2017-03-07 23:18:52

标签: eclipse plugins ide ubuntu-16.04 formal-methods

我看过thisthis。他们都无法帮助我解决这个问题。在this链接中,存储库和this链接中似乎没有任何内容,我按照它说的每一步,但仍然无法获得Eclipse IDE的CZT插件。

如何为Eclipse IDE安装CZT插件?

注意:我的操作系统是Ubuntu 16.04 LTS。似乎有一个版本的Eclipse IDE以.exe格式存在,并且已经启用了CZT插件。但由于我的操作系统不支持.exe文件,我无法通过这种方式解决这个问题。

1 个答案:

答案 0 :(得分:0)

  

1-同时下载this .jar filethis .jar file

     

2-将这两个.jar文件放入Eclipse的 plugins 文件夹中。

     

3-重新启动Eclipse IDE。

现在您在Eclipse IDE上安装了 CZT 插件。

但是要创建新的CZT项目,请执行以下步骤:

  

1-转到文件 - >新 - >项目 - > CZT - > CZT项目

     

2-指定项目名称,然后单击“完成”。

     

3-右键单击您的项目,然后转到新建 - > Z规格

     

4-指定文件名及其目录,然后单击   光洁度。

现在,您可以在此新文件中编写 Z规范

Here是一个PDF文件,清楚地描述了该做什么。