使用cygwin设置iSpin时出错

时间:2018-10-29 21:05:20

标签: model-checking spin

我正在使用this教程设置自旋和ispin。

我被困在要设置ispin的位置。在cygwin终端中键入wish ispin.tcl时,出现以下错误:

$ wish ispin.tlc
application-specific initialization failed: no display name and no $DISPLAY environment variable
Error in startup script: couldn't read file "ispin.tlc": no such file or directory

我该如何解决?

0 个答案:

没有答案