{
	// Use IntelliSense to learn about possible attributes.
	// Hover to view descriptions of existing attributes.
	// For more information, visit: https://go.microsoft.com/fwlink/?linkid=830387
	"version": "0.2.0",
	"configurations": [
		{
			"name": "Hyde",
			"type": "cppdbg",
			"request": "launch",
			"program": "${workspaceFolder}/runtime/bin/sledgert",
			"args": [
				"${workspaceFolder}/runtime/experiments/applications/ocr/hyde/spec.json"
			],
			"stopAtEntry": false,
			"cwd": "${workspaceFolder}",
			"environment": [],
			"externalConsole": false,
			"MIMode": "gdb",
			"envFile": "${workspaceFolder}/.env",
			"setupCommands": [
				{
					"description": "Enable pretty-printing for gdb",
					"text": "-enable-pretty-printing",
					"ignoreFailures": true
				}
			]
		},
		{
			"name": "Preemption",
			"type": "cppdbg",
			"request": "launch",
			"program": "${workspaceFolder}/runtime/bin/sledgert",
			"args": [
				"${workspaceFolder}/runtime/experiments/preemption/spec.json"
			],
			"stopAtEntry": false,
			"cwd": "${workspaceFolder}",
			"environment": [],
			"externalConsole": false,
			"MIMode": "gdb",
			"envFile": "${workspaceFolder}/.env",
			"setupCommands": [
				{
					"description": "Enable pretty-printing for gdb",
					"text": "-enable-pretty-printing",
					"ignoreFailures": true
				}
			]
		}
	]
}