Add Promela

Fixes: #590 Co-Authored-By: Paulo Viana <paulo9mv@yahoo.com.br>
2020-03-30 18:57:13 +13:00
parent 7de5475249
commit 8a98fa2ac9
2 changed files with 4 additions and 0 deletions
--- a/p/promela.pml
+++ b/p/promela.pml
@@ -0,0 +1,3 @@
+active proctype main(){
+  printf("Hello World")
+}