X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=README;h=f5ed857bca750a1785bb2b821264279c5d8f2f42;hb=11da849ab540fbcec939797a0c5ef17d651829e7;hp=4da5694315035603dec738bb682e1885b413274a;hpb=fa090011ae03d98eff628e835ede5562c2d4c2c7;p=model-checker.git

diff --git a/README b/README
index 4da5694..f5ed857 100644
--- a/README
+++ b/README
@@ -47,6 +47,7 @@ Options:
 -e                    Enabled count. Default: 1
 -b                    Upper length bound. Default: 0
 -v                    Print verbose execution information.
+-y                    CHESS like yield based fairness. Default: 0
 --                    Program arguments follow.