@ -20,6 +20,9 @@
"externalConsole": false,
"MIMode": "gdb",
"envFile": "${workspaceFolder}/.env",
"sourceFileMap": {
"/sledge/runtime": "${workspaceFolder}/runtime"
},
"setupCommands": [
{
"description": "Enable pretty-printing for gdb",