model: bugfix - missing SC mo_graph edge

[model-checker.git] / README

diff --git a/README b/README
index 12a02ff0add089fc1234ba78a6f1e48ef971a911..f5ed857bca750a1785bb2b821264279c5d8f2f42 100644 (file)
--- a/README
+++ b/README
@@ -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.