- 博客(1)
- 收藏
- 关注
原创 模型检测工具SPIN在windows10系统上的安装&使用
spin的官方说明文档安装下载spin下载spin的github网址上的spin*.gz,解压到某目录,重命名为spin.exe。将目录添加到path环境变量中。下载cygwinCygwin是一个在windows平台上运行的类UNIX模拟环境。spin需要一个c语言编译器才能运行,我选择安装gcc,可以从cygwin上安装,以后还可以用它来学习linux的使用。从cygwin官方网站下载setup*.exe,双击运行。在这里选择...
2020-10-07 13:10:03 3275 11
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人