You've already forked Http_Cyclone
mirror of
https://github.com/AdaCore/Http_Cyclone.git
synced 2026-02-12 13:07:39 -08:00
91 lines
2.5 KiB
JSON
91 lines
2.5 KiB
JSON
{
|
|
// See https://go.microsoft.com/fwlink/?LinkId=733558
|
|
// for the documentation about the tasks.json format
|
|
"version": "2.0.0",
|
|
"tasks": [
|
|
{
|
|
"label": "Build Project",
|
|
"type": "shell",
|
|
"command": "make -j",
|
|
"problemMatcher": [
|
|
"$ada"
|
|
],
|
|
"group": "build",
|
|
"presentation": {
|
|
"reveal": "never",
|
|
"clear": true,
|
|
"showReuseMessage": false
|
|
}
|
|
},
|
|
{
|
|
"label": "prove all",
|
|
"type": "shell",
|
|
"command": "gnatprove",
|
|
"args": [
|
|
"-P",
|
|
"prove.gpr",
|
|
"--level=3",
|
|
"--no-counterexample",
|
|
"-j0",
|
|
// "--info",
|
|
"-cargs",
|
|
"-gnatef",
|
|
],
|
|
"presentation": {
|
|
"echo": true,
|
|
"reveal": "never",
|
|
"focus": false,
|
|
"showReuseMessage": false,
|
|
"clear": true
|
|
},
|
|
"group": {
|
|
"kind": "build",
|
|
"isDefault": true
|
|
},
|
|
"problemMatcher": [
|
|
{
|
|
"base": "$ada",
|
|
"fileLocation": "autoDetect"
|
|
}
|
|
]
|
|
},
|
|
{
|
|
"label": "prove function",
|
|
"type": "shell",
|
|
"command": "gnatprove",
|
|
"args": [
|
|
"-P",
|
|
"prove.gpr",
|
|
"--level=3",
|
|
"-j0",
|
|
"--info",
|
|
"--no-counterexample",
|
|
// "--report=all",
|
|
"--limit-subp=tcp_interface.adb:867",
|
|
// "--limit-subp=tcp_interface.ads:230",
|
|
// "--prover=coq"
|
|
// "-u",
|
|
// "tcp_interface.adb",
|
|
"-cargs",
|
|
"-gnatef"
|
|
],
|
|
"presentation": {
|
|
"echo": true,
|
|
"reveal": "never",
|
|
"focus": false,
|
|
"showReuseMessage": false,
|
|
"clear": true
|
|
},
|
|
"group": {
|
|
"kind": "build",
|
|
"isDefault": true
|
|
},
|
|
"problemMatcher": [
|
|
{
|
|
"base": "$ada",
|
|
"fileLocation": "autoDetect"
|
|
}
|
|
]
|
|
}
|
|
]
|
|
} |