From: Brian Norris <banorris@uci.edu>
Date: Mon, 19 Nov 2012 23:51:02 +0000 (-0800)
Subject: README: add verbose (-v) argument
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=5f861ebe39567a3bf01635bb7343ed8a8e26803f;ds=sidebyside

README: add verbose (-v) argument
---

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.