Visual studio code Dafny在MacOS 10.14.6的Visual Studio代码中失败：有人知道mono在哪里吗？

我不确定这是Visual Studio代码问题还是Dafny问题，因为我对这两个问题都是新手。 加载Visual Studio代码，然后从Visual Studio代码中加载Dafny的扩展。 我收到以下错误消息，并且知道您可以明确地告诉VisualStudio在哪里可以找到mono，但我不知道mono在哪里

---

通过关闭自动反例生成器，问题得以解决。在dafny扩展的设置中。

---

通过关闭自动反例生成器，问题得以解决。在dafny扩展的设置中。

  verify all1
all verifyfile:///Users/dstr/GoogleDrive/Teaching/SWEN324/FreshStart/fresh.dfy
The verifyer process ended with code 0
Local: 2.3.0
Remote:2.3.0
events.js:180
      throw er; // Unhandled 'error' event
      ^

Error: spawn mono EAGAIN
    at Process.ChildProcess._handle.onexit (internal/child_process.js:264:19)
    at onErrorNT (internal/child_process.js:456:16)
    at processTicksAndRejections (internal/process/task_queues.js:77:11)
Emitted 'error' event at:
    at Process.ChildProcess._handle.onexit (internal/child_process.js:270:12)
    at onErrorNT (internal/child_process.js:456:16)
    at processTicksAndRejections (internal/process/task_queues.js:77:11) {
  errno: 'EAGAIN',
  code: 'EAGAIN',
  syscall: 'spawn mono',
  path: 'mono',
  spawnargs: [
    '/Users/dstr/.vscode/extensions/correctnesslab.dafny-vscode-0.17.2/dafny/dafny/DafnyServer.exe'
  ]
}