adding setting for tla+ vscode plug-in

fpaxos · Sep 29, 2023 · 324e21c · 324e21c
1 parent 49aaf12
commit 324e21c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -0,0 +1,3 @@
+{
+    "tlaplus.tlc.modelChecker.options": "-coverage 1 -workers auto"
+}