Adds apalache debug launcher

informalsystems · Aug 23, 2021 · 660bdb5 · 660bdb5
1 parent 3afa62e
commit 660bdb5
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/.vscode/launch.json b/.vscode/launch.json
@@ -6,10 +6,14 @@
             "request": "launch",
             "program": "${workspaceRoot}/target/debug/modelator",
             "args": [
-                "tla",
-                "generate-tests",
-                "main.tla",
-                "main.cfg"
+                "apalache",
+                "test",
+                "/Users/danwt/documents/sandbox-tla/mainTests_MyVarTest.tla",
+                "/Users/danwt/documents/sandbox-tla/mainTests_MyVarTest.cfg",
+                // "tla",
+                // "generate-tests",
+                // "main.tla",
+                // "main.cfg"
             ],
             "cwd": "${workspaceRoot}",
         }