在wsl2环境下使用Kind2

因为嫌虚拟机太麻烦，所以决定在wsl2上安装kind2。

---

1. 安装wsl2

   (8条消息) WSL2的安装详细过程_文艺圈不知名刘先生-CSDN博客_wsl2安装

   要在Windows文件资源管理器中打开WSL项目，请输入：

   explorer.exe .

2. 挂载z3

   *注意：z3 4.8.11有点问题，后端格式改了，可能和Kind2有点冲突，这里用的4.8.10。

   将编译好的z3文件放在自定义的文件夹下：

   

   ubuntu的目录/mnt/下面挂载了windows下的文件系统：

   

   创建z3的目录（这里~相当于/home/yubao）：

   cd ~
   mkdir -p huiyu/z3

   进入z3的存放路径：

   

   复制z3到之前创建的目录：

   

3. 添加至环境变量

   查看环境变量：

   

   添加路径：

   export PATH=$PATH:/要添加的路径

   

   查看z3信息：

   

4. 安装vscode

5. 在vscode中进行配置

   安装Romote - WSL

   

   安装后界面左下角出现一个绿色状态栏，点击打开。

   

   选择New WSL Window。

   

   新界面如图。

   

6. 安装需要的库

   在新界面Ctrl+Shift+`打开Linux终端，安装Java run-time和ZeroMQ。

   报错处理：(8条消息) E: Unable to locate package openjdk-8-jre ubuntu 20.04安装jdk 失败_u012956987的博客-CSDN博客

   

7. 安装Kind2

   在该界面的扩展栏中搜索Kind2在WSL中安装。

   

8. 测试案例。

   用例选自：Lustre Input (uiowa.edu)

   

   Check。