-
Notifications
You must be signed in to change notification settings - Fork 1
/
tasks.json
97 lines (97 loc) · 2.93 KB
/
tasks.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
{
"version": "2.0.0",
"tasks": [
{
"label": "[P1] compile",
"type": "shell",
"command": "make",
"options": {
"cwd": "${workspaceFolder}/src/threads"
}
},
{
"label": "[P2] compile",
"type": "shell",
"command": "make",
"options": {
"cwd": "${workspaceFolder}/src/userprog"
}
},
{
"label": "[P1] Run Test in GDB mode",
"type": "shell",
"isBackground": true,
"problemMatcher": [
{
"pattern": [
{
"regexp": ".",
"file": 1,
"location": 2,
"message": 3
}
],
"background": {
"activeOnStart": true,
"beginsPattern": ".",
"endsPattern": ".",
}
}
],
"dependsOn": [
"[P1] compile"
],
"command": "pintos -k -T 60 --bochs --gdb -- -q run ${input:test_name}",
"options": {
"cwd": "${workspaceFolder}/src/threads/build"
}
},
{
"label": "[P2] Run Test in GDB mode",
"type": "shell",
"isBackground": true,
"problemMatcher": [
{
"pattern": [
{
"regexp": ".",
"file": 1,
"location": 2,
"message": 3
}
],
"background": {
"activeOnStart": true,
"beginsPattern": ".",
"endsPattern": ".",
}
}
],
"dependsOn": [
"[P2] compile"
],
"command": "pintos -k -T 60 --bochs --gdb --filesys-size=2 -p tests/userprog/${input:prog_name} -a ${input:prog_name} -- -q -f run '${input:args}'",
"options": {
"cwd": "${workspaceFolder}/src/userprog/build"
}
}
],
"inputs": [
{
"id": "test_name",
"type": "promptString",
"description": "Name of the Test to Debug"
},
{
"id": "prog_name",
"type": "promptString",
"description": "Name of the Program to load for debugging (e.g., args-multiple)",
"default": ""
},
{
"id": "args",
"type": "promptString",
"description": "Task passed to Pintos (e.g., args-multiple some arguments for you!)",
}
]
}