Execution with heaptrack (#5644)

This commit is contained in:
Patrick Quist
2023-11-07 23:59:40 +01:00
committed by GitHub
parent e4f2bf6b42
commit 455d92916a
34 changed files with 1294 additions and 127 deletions

View File

@@ -99,7 +99,18 @@ Execution Only request example:
"userArguments": "-O3",
"executeParameters": {
"args": ["arg1", "arg2"],
"stdin": "hello, world!"
"stdin": "hello, world!",
"runtimeTools": [
{
"name": "env",
"options": [
{
"name": "MYENV",
"value": "123"
}
]
}
]
},
"compilerOptions": {
"executorRequest": true