id: "promela"
aliases:
- "spin"
- "pml"
name: "PROMELA"
install:
apt:
- spin
main: "main.pml"
template: |
active proctype main() {
printf("Hello, world!\n");
}
run: |
spin main.pml