Add a "Check and debug model with TLC using non-default config..." command. - Githubissues

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code

MIT License

356 stars 32 forks source link

Add a "Check and debug model with TLC using non-default config..." command. #317

Closed lemmy closed 11 months ago

lemmy commented 11 months ago

nt