X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=README;h=4da5694315035603dec738bb682e1885b413274a;hb=54e338c739b2aa1f222ca378f1f98b857870a0fa;hp=12a02ff0add089fc1234ba78a6f1e48ef971a911;hpb=45206350b4022732229f8a48a3c7b08885e874a7;p=c11tester.git

diff --git a/README b/README
index 12a02ff0..4da56943 100644
--- a/README
+++ b/README
@@ -46,6 +46,7 @@ Options:
                       priority for execution. Default: 0
 -e                    Enabled count. Default: 1
 -b                    Upper length bound. Default: 0
+-v                    Print verbose execution information.
 --                    Program arguments follow.