编译不起作用

时间:2018-06-19 16:48:25

标签: installation dafny

enter image description here

这是每当我尝试使用Main方法对.dfy文件使用Compile选项时,VS Enterprise 2015都会发出的消息。有人知道我该怎么做才能解决该问题吗?

0 个答案:

没有答案