25 lines
605 B
JSON
25 lines
605 B
JSON
{
|
|
// See https://go.microsoft.com/fwlink/?LinkId=733558
|
|
// for the documentation about the tasks.json format
|
|
"version": "2.0.0",
|
|
"tasks": [
|
|
{
|
|
"label": "Timing benchmark",
|
|
"type": "process",
|
|
"command": "python",
|
|
"args": [
|
|
"-m",
|
|
"benchmark.timing"
|
|
]
|
|
},
|
|
{
|
|
"label": "Unsolved benchmark",
|
|
"type": "process",
|
|
"command": "python",
|
|
"args": [
|
|
"-m",
|
|
"benchmark.unsolved"
|
|
],
|
|
}
|
|
]
|
|
} |