diff --git a/.vscode/launch.json b/.vscode/launch.json index 26ae62b..393a25e 100644 --- a/.vscode/launch.json +++ b/.vscode/launch.json @@ -66,7 +66,8 @@ "name": "list", "program": "${workspaceFolder}/build/src/Platform/b_list", "args": [], - "cwd": "/Users/rmontanana/Code/discretizbench", + //"cwd": "/Users/rmontanana/Code/discretizbench", + "cwd": "/home/rmontanana/Code/covbench", }, { "name": "Build & debug active file",