message: Add a debug configuration for debugging runtests.js
diff: "cwd": "${workspaceFolder}/vscode-lean4/out/",
  "outFiles": ["${workspaceFolder}/vscode-lean4/out/test/suite/**/*.js"],
  "preLaunchTask": "watchTest"
  - }
  + },
  + {
  + "name": "Launch runTests.js",
  + "program": "${workspaceFolder}/vscode-lean4/out/test/suite/runTest.js",
  + "request": "launch",
  + "skipFiles": [
  + "<node_internals>/**"
  + ],
  + "cwd": "${workspaceFolder}/vscode-lean4/",
  + "sourceMaps": true,
  + "type": "node"
  + },
  ]
  }
  