Commits

Simon Guillot  committed 36315fc

modified README

  • Participants
  • Parent commits fe3332a

Comments (0)

Files changed (1)

 
 	./build/mc [KRIPKE FILE] [CTL FORMULA]
 
+or read the CTL formulas from the standard input:
+
+	./build/mc [KRIPKE FILE]
+
+
 Supported CTL operations:
 	* unary operators: not, ax, ex, af, ef ag, eg
 	* binary operators: and, or, implies, au, eu