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