VSCode build tasks for .pml (PROMELA)

tasks.json

{
	"version": "2.0.0",
	"tasks": [
		{
			"label": "Compile C file with cc.",
			"type": "shell",
			"command": "cc ${relativeFile}",
			"windows": {
				"command": "gcc ${relativeFile}"
			},
			"group": {
				"kind": "build",
				"isDefault": false
			},
			"presentation": {
			  "reveal": "silent",
			  "panel": "shared"
			},
		},
		{
			
			"label": "Run most recent compiled C file.",
			"type": "shell",
			"command": "./a.out",
			"group": {
				"kind": "test",
				"isDefault": false
			},
			"presentation": {
			  "reveal": "always",
			  "panel": "shared"
			},
		},
		{
			"label": "Compile and run current C file.",
			"dependsOn": ["Compile C file with cc.", "Run most recent compiled C file."],
			"group": {
				"kind": "test",
				"isDefault": true
			}
		}
	]
}