always waiting for free solvers

[dreamqin68]

Hi All,

Merry Chrismas!

I installed dafny 3.10.0 in the extension of vscode, and I found that this sentence is always displayed on the bar below the vscode interface:
Verified 0/1, waiting for free solvers Running tests...

I restarted dafny, but waiting for free solvers was still there. Then I waited an hour and it was still there. I don't know why there is no free solver.

I guess it may be related to the Verification Virtual Cores, the default value is 0.

Thanks in advance.

[basbebe]

Same problem here.
Explicitly setting Verification Virtual Cores works as a workaround for me (thanks for that!).

[keyboardDrummer]

This is a bug, we're working on resolving it. Relevant issue is here: dafny-lang/ide-vscode#326

[keyboardDrummer]

Resolved now. Is it OK if I delete this discussion?

[dreamqin68]

Thanks! sure.