runtimeverification / simbolik-vscode

BSD 3-Clause "New" or "Revised" License
12 stars 2 forks source link

Misleading error message in case of connection timeout #13

Open RaoulSchaffranek opened 1 month ago

RaoulSchaffranek commented 1 month ago

The error message for connection timeouts pops up even when a retry succeeded. I think this is because we don't dispose the timeout here when we attempt a retry.

https://github.com/runtimeverification/simbolik-vscode/blob/master/src/DebugAdapter.ts#L46