Update README.md

codelion · Mar 4, 2013 · 51dd1a9 · 51dd1a9
1 parent 35b874c
commit 51dd1a9
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -7,3 +7,8 @@ To Run
 - import project in Eclipse (with OcaIDE)
 - need str,extlib libraries
 - uses ocamlbuild
+
+Usage
+./spinr filename.pml
+
+Will refine the Promela model filename.pml to a C implementation filename.pml.c