X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=README;h=b8ef3f8f73731b9b593c1129b77f876b27f4ef3e;hb=bee1e27429b9a66e414eb83cf14e2089dd40a79e;hp=12a02ff0add089fc1234ba78a6f1e48ef971a911;hpb=b1ea1bc4119e04664eb853ca4db9971abc2b43af;p=model-checker.git

diff --git a/README b/README
index 12a02ff..b8ef3f8 100644
--- a/README
+++ b/README
@@ -2,7 +2,7 @@
 CDSChecker Readme
 ****************************************
 
-This is an evaluation-only version of CDSChecker. Please do not distribute.
+CDSChecker is distributed under the GPL v2.
 
 CDSChecker compiles as a dynamically-linked shared library by simply running
 'make'. It should compile on Linux and Mac OSX, and has been tested with LLVM
@@ -46,6 +46,8 @@ Options:
                       priority for execution. Default: 0
 -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.